Be wary that the default-shortcut-prefix might be
duplicated in a menu item prefix
tighten contracts in a way that appears
consistent with their behavior and their
documentation