This PR removes manual HTML `<b>` tags in `<details><summary>...` titles. They are unnecessary because we add bold styling in CSS. Also did a tiny fix to some other unnecessary inline HTML.