Gerrit ondiscussionpage:Extension talk:SectionHide

I tried to get into the medialabs area and got an account, but nothing on there seems to want to tell me what to do next, so if anyone with more knowledge wants to move this extension to gerrit, please do so.