in reply to Documentation for die_bug

The name of the script is check_shell.pl and it fails on Windows but it works on Linux.

Hmmm, my heuristics tell me that finding the missing body of die_bug() is the least of your problems ...

bw, bliako