GitHub-style anchor for a widget's ### <Widget> heading in the generated survival guide. Shared by the guide generator and the scanner report so the per-widget report rows deep-link into the guide.
### <Widget>
GitHub-style anchor for a widget's
### <Widget>heading in the generated survival guide. Shared by the guide generator and the scanner report so the per-widget report rows deep-link into the guide.