mouse_close(3vga) on Linux

The text b0cba03dda43, as Debian 3.0 (Woody) shipped it. The page shows this text now.

explicitly close a mouse

mouse_close(3vga) on Linux now