Trying to fixintra-page anchors in documentation