The term "hobby horse" does not imply pettiness.

I don't think I've deflected at all. You're just talking about something orthogonal to the thing I was asking about in this thread, which (predictably) totally derailed the thread into an entirely different discussion.

It's fine! Happens all the time.