I've looked into a bit further... The event
is available to usermode apps as showkey
detects it (I get keycode 69), however I was
unable to getch() it. It may be terminal
specific, and you might have better luck
searching the web for relevant information
than I did.