coords.pl 0.7.2: add custom key bindings