Automate web changes for Microkit manual

Microkit manual requires a number of changes to make it presentable on the web compared to the markdown/PDF version.

So far these have been done manually for each Microkit release, which is annoying/error-prone.

Script this process for the next Microkit release.