The text a02cd71a7247, as Debian 8 (Jessie) shipped it.
See external documentation: wxKeyEvent.
wxKeyEvent(3erl) on Linux now
