doc: ensure GCC_EXTRA_DIAGNOSTIC_OUTPUT gets an HTML anchor