There's probably a better place to put it, but HIDE bridges an important
gap between using deferred words to hide words en masse and just needing
to delete a single private word.
It is an uncomplicated way to remove any kind of word (deferred variables / values are a bit messy?) from the dictionary with no overhead penalty.
There's probably a better place to put it, but
HIDE
bridges an important gap between using deferred words to hide words en masse and just needing to delete a single private word.It is an uncomplicated way to remove any kind of word (deferred variables / values are a bit messy?) from the dictionary with no overhead penalty.