the shortcut for thingopt.el added