Remove the dashes from the Manual's HTML file names. (dm)
Correctly detect an unknown log level (in prologue.sh). (dm)