How to kill /prog/

1.spam /Prog/ is dead
2.reply with long live /prog/
3....
4.Become expert troll

Greasemonkey scripts

Opera is capable of running many Greasemonkey scripts. These are JavaScripts designed to work with the Greasemonkey enhancement for the Mozilla browser family. To tell Opera that a script file uses Greasemonkey notation, the name of the file containing the script must end with .user.js (all other .js files are assumed to be normal User JavaScripts). Scripts that use Greasemonkey notation are handled slightly differently (in order to be compatible with existing scripts):

    * They are not permitted to use window.opera.addEventListener and associated methods, or magic functions and variables.
    * They are executed when the page completes loading, after creating the DOM for the page, but before running any onload handlers that have been defined.

Because of this different handling, Greasemonkey scripts are often not able to fix problems or errors until after they have already occurred. As a result, such scripts are generally best suited to adding enhancements, and not fixing problematic scripts.