htmlman now deals with getting filenames right. Also quietens an
[disorder] / doc / plumbing.svg
doc/plumbing.svg Reading blob failed.