TinyThread GreaseMonkey script is not needed anymore
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.