Ich habe nach einem Kommentar auf userscripts.org mein Greasemonkey-Skript streammp3 new geändert.
Das Skript hängt jetzt nichtm ehr vom Kontakt zu meinem Server ab, was insofern ganz praktisch ist, da nach einem Serverumzug das entscheidende PHP-Skript nicht mehr funktionierte.
BTW: Das Skript durchsucht die aktuelle Webseite nach MP3-Links und fügt ein Icon ein, über das die MP3-Datei gestreamt werden kann und somit nicht erst nach einem vollständigen Download, sondern bereits nach dem ersten Kontakt abgespielt wird.