sphinx: headerlink hidden