The text 2bad42e815c1, as Debian 10 (Buster) shipped it.
screen information functions and macros
EventMaskOfScreen(3) on Linux now
