Commit ac9b3847405574dfd6022c1a9347a4449e8c1510

Mark Wielaard 2019-06-23T02:14:23

Use UTF-8 encoding and include bzip.css as link for HTML manual.