[PATCH 16/18] README, hooks: Build HTML man page on push, add a link