Changed Manual heading bookmarks to be more like on our site. If that's more practical than before, then it should follow.