Got great help over the phone! Mystery leak in toilet diagnosed, and several suggestions of how to fix. Toilet (antique) now operating perfectly.
Because my house is old, the big hardware chains don't have parts. Larkin does. Yes the parts are more expensive, but almost always they have them, and the guys in the parts store know about plumbing and willingly give advice.