apps.basicform_gradeeditor: Better ShortFormat shorthelp.