Actually I mis-spoke a little. The LAUNCHER comes up at the same time
as the DASH when I press the SUPER key. But when I press the SUPER key
the second time, both things go away and moving the mouse pointer to the
left-side or to the bottom does not cause the LAUNCHER or DASH to
reappear.