Allow users to show and hide sections with hotkey when cursor is on section heading. This can potentially help with the UX in #16.
