Shahrukh: >No, no, none of this actually exists! Melvin's was just an alternative >suggestion (to /HIDE/ and Hide=On/Off suggested by others) _for a >possible future implementation_ that we are trying to convince Eric is >useful. Mel has already corrected me backchannel, but thanks. I think the fact that I had indeed seen mention of HIDE before in the docs figured in my misinterpretation. Here's to implementing useful things... George