If you hate incidental names so much, you should make a proposal to remove them

Okay

Only Fred, Old Man Walker, and Sandals are official names.

And Old Man Jenkins!

Old Man Jenkins isn't an incidental.