WHICHKEY returns the keynumber as well as the keyname, for convenience * Added documentation
* WHICHKEY * WHICHKEY collects all down keys