A gear-menu toggle, off by default: the header bar, badges and terminal panes lose their see-through fill and blur.
