So I did this about a month ago, and it was great for a while. Then the starter gradually started gradually getting slower and now it's back to where it was before -- pretty slow to turn over (especially between the first and second revolutions when cold), but not in danger of failing to start.
I fully disassembled it, cleaned everything with solvent, and lightly greased bushing surfaces with high-temp lithium wheel bearing grease (blue stuff). Also greased up the planetary gear set. Wrong kind of grease, or starter just wearing out and time for a new one?
Brushes, commutator, and windings looked fine, normal wear but not worn out, especially after I cleaned up the carbon dust, but I may have missed something. Also, the brushes were a real pain to get back on -- I ended up zip-tying them in the holders, sliding them halfway onto the commutator, and then cutting the zip-ties.