Some useful utilities for userscript development
Ce script ne doit pas être installé directement. C'est une librairie destinée à être incluse dans d'autres scripts avec la méta-directive // @require https://update.greatest.deepsurf.us/scripts/391648/745951/Userscript%20Utils.js
See header comments in source code for information.
