users-guide: Fix various issues in debugging flags section

Authored by bgamari on May 30 2018, 7:38 PM.