Hm, für sowas würde ich eher den Einsatz von LiveHTTPHeaders empfehlen, das ist eine Mozilla Extension. Neben EditCSS und der PNH Toolbar eine der praktischsten Webentwickler-Tools. :-)