# The default keymap for randy