Hola Mundo en Grease Monkey

Estoy empezando a realizar pequeños scripts para Grease Monkey, la popular extensión de Firefox. Grease Monkey nos permite ejecutar nuestros propios códigos javascript en diferentes páginas web. Para ir abriendo boca, vemos como sería el código para el clásico ¡Hola mundo!:


// ==UserScript==
// @name Hola mundo
// @namespace http://www.ellibrogordodepetete.com/search/label/C%C3%B3digo%20fuente
// @description Ejemplo de script de Hola Mundo para Grease Monkey
// @include *
// @exclude http://www.google.com/
// ==/UserScript==

alert('¡Hola mundo!');