keyboard.txt: documentation for key customization