> Nobody in the trenches seemed to use old-style auto in the last decades.

To the beat of my knowledge, there was no case where "auto" wasn't redundant. See e.g. https://stackoverflow.com/a/2192761

This makes me feel better about repurposing it, but I still hate the shitty use it's been put to.