[albert_e]

Slight tangent: what is the current favorite tool to inject CSS into web pages in our browser?

Greasemonkey/ Tampermonkey ?

[sphars]

I use Stylus for injecting CSS: https://github.com/openstyles/stylus

From the OP, there's also StyleBot: https://stylebot.dev/