FIX rej-GUI:  implement "clear" menu command, remove "revert" menu entry