Well, I think it works. I had to add hooks into my pretty_die routine to detect whether the HTTP headers had already been sent, and based on that, decide whether it needs to take it upon itself to generate the banner and navigation. All in all, script death will be more robust, elegant, and with dignity.

I hope you're happy.