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.