[Greasemonkey] User scripts don't work at a certain site?

[Jeremy Dunck]

On 1/7/06, Chris Beams <cbeams at gmail.com> wrote:
> // ==Userscript==
> // @name                Super basic
> // @description        Simply logs "hello world!" to the JS console
> // @include             *
>
> GM_log("hello world!");
>
> // ==/Userscript==

Well, I don't know if it accounts for the oddity you're seeing, but this line:
> // ==/Userscript==
should be at the end of the header, but before any executable code.

Like so:

// ==Userscript==
// @name                Super basic
// @description        Simply logs "hello world!" to the JS console
// @include             *
// ==/Userscript==

GM_log("hello world!");