• space before </pre> is (almost) always wrong
  (there are about two justified exceptions in the whole tree)
  although I’ve not fixed some very old files
• move a wlog entry, amend prompt with git branch, to mksh FAQ
  and add locally set +U while here