The usual keyboard event bitmask is 120013, but Logitech and some
other keyboards have 12001F.  Using both F and f as grep case-insensitivity
flag may vary across systems.