cc: BUG-LISPM at MIT-MC, CPR at MIT-AI I think it should be flushed in principle, but there are some useful things like "Reset", that don't really want to go in the main menu. I'll leave it up to you.