My GreaseMonkey script for TinyThread is not very useful anymore. The design has been changed to look a bit nicer. It’s good to see the changes were mostly functional.

This also means you can remove the GreaseMonkey script from your browser.