Fixes to debugging topic (and related changes)

Also minor change to index for API reference to fix the rendering of trace.h line