Dev Docs (Formatting Only): Convert Fake Subheadings To Real Subheadings

Converts fake subheadings created using **bold** to real HTML
subheadings without adding them to the table of contents.

Also fixes a link broken by commit 4e067ac89e74b and adds a Makefile
test to catch future similar breakage.