[atyppo]

Interesting. I don’t think it’s a big enough annoyance for me to install yet another extension. Moreover, since I use old Reddit on my phone, I’d still have to change it back.

[vehemenz]

For things like this a userscript is better solution than a full-on extension. It is definitely worth it though, especially for mobile.