There's my userscript that I posted in another comment, but it's not as featureful. It just makes certain usernames specified in a static array bold. https://ne

There's my userscript that I posted in another comment, but it's not as featureful. It just makes certain usernames specified in a static array bold. https://news.ycombinator.com/item?id=17717736 https://news.ycombinator.com/item?id=17717736