Option for hiding gensymed identifier numbers