Thread:Extension talk:SectionHide/SectionHide seems to be incompatible with the Header Tabs extension