MenuPopdown(3x) on Linux

The text 886d350e12e0, as Debian 1.1 (Buzz) shipped it.

unmap a pop-up

MenuPopdown(3x) on Linux now