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