It's interesting that my issue with the same symptoms as the OP was caused by a different part.
When thinking about it, I realized that sometime yesterday, additionally the brake pedal stopped functioning. It just met no resistance, apart from its return spring. I forgot about it until I pulled the top deck off today, when looking for the brake's safety switch.
That's when I saw a rod headed towards the front that had nothing to do with the forward or reverse motion. So that's how the brake is applied. Pressing the brake pedal did nothing to the lever on the transmission, but moving the lever by hand let me know it was kinda connected somewhere in the middle of the machine, and a large zip tie was poking underneath the deck and wiggling, so ...
There's a rod that connects the brake linkage to another piece that goes back to the transmission. I pulled the mower deck off and saw that the zip tie had been used to secure the rod to the linkage and it had slipped off, and the rod dangled.
Seems that originally it might have been secured with a circlip or similar. And the other end of the rod looked worse, not connected to anything, just resting atop a bracket that loosened the drive belt tension (maybe?) when the brake was applied. Just a guess, I don't know what other purpose it might have. There's so much metal gone, I don't know how it was connected at that end.
The bracket it met doesn't look too great, either. This is the view of the mangled end as I found it ... heavily worn and resting atop the belt idler bracket, not the
other end that came part and caused the brake and starter to both cease.
I replaced the rod (and the zip tie ...) with a small bolt and nut for now. I had the brake functioning again. And now that the brake safety switch engaged, it made the starter work, too!
Thanks again. I don't mean to quibble, but I lacked the foresight to purchase the service manual more than 20 years before picking up my mower yesterday. So yes, a $100 or so cost does give me pause, when the whole machine is worth "what I paid for it," which yesterday was a lot less that $6500 or $4000 or whatever. And I realize service manuals have value, that was never in doubt. It's worth my time ask questions on Internet forums today, which didn't exist in quite the same way when my machine was new (1992).