Dropped unused `doc/bootstrap-header.rmu` (superceded by
`doc/header.rmu`). Allow MathML HTML blocks.