Issue #137 : allow redefining  F1 shortcut