Ti assicuro che a me funziona, ho persino rifatto una prova reincollando direttamente il codice postato qui sul forum.
Ora fare il debug è noioso, se vuoi posso dirti alcune cose che puoi controllare per trovare la causa, tipo:
1) verificare che l'estensione funzioni correttamente, magari provando con uno script diverso
2) guardare nella console se ci sono errori che si riferiscono a quel file
3) controllare che il file creato sia un vero file di testo, ad esempio, con che programma lo hai creato?
Come detto sopra, il codice sopra si riferisce al pulsante nella barra dei segnalibri e non a quello nella barra dei menu.