right, no hight prio. The JBoss style guide goes even further and recommends unique ids across different documentations. I think it is not worth it. I could settle on _section_ , _chapter_  and _example_ prefix. This way you know what you are referencing. I see this more as a help for us though, instead of anchor names.