user/jszakmeister: get rid of a rarely used shortcut