Added as a userscript in a single JavaScript file