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