The "debugging things" title wasn't great, and we use
"troubleshooting" elsewhere anyways.

Also add headings to make this long section a bit more readable.

we now use the restricted board

The policy was marked as "draft" in the document, but classified as
"standard" in the list because the deadline had expired without
objection, so it technically *was* standard.

In any case, it was implemented and now is therefore obsolete (because
it's useless to keep such an historical proposal forever).