FAQ: Use more stable anchors in the generated HTML