I still don't know how to do it "properly". However, there's a pretty simple and painless workaround; use the id
attribute:
<section name="Hibernate statistics" id="hibernate-statistics">
Foo
</section>
id
ends up in the HTML markup as-is. Most browsers nowadays support using id
s as anchors: http://server/page.html#hibernate-statistics