Tech debt: keep mandoc html up to date

[SoniEx2]

This is an extension of #2301. However, this one is a bit harder - mandoc doesn't appear to have reproducible output, particularly around dates. Anyway, the relevant script is scripts/generate-html-docs.sh (which should really be .bash but anyway).