Make header anchors behave like github