Switch entirely to the new Keys API in ctrl_alt_foo