Userscripts

projectdoc Toolbox

A collection of scripts managed to add features to a rendered page in the browser.

Userscript manager like Grease Monkey or Tampermonkey must be installed to the browser to use userscripts. The userscript manager builds the context in which the script is executed.