Eviscerate-hide-terms
To print (hide ...) as <hidden>
Example:
(assign eviscerate-hide-terms t)
(assign eviscerate-hide-terms nil)
Eviscerate-hide-terms is a state global variable whose value
is either t or nil. The variable affects how terms are displayed by
default (but not if you have set the term-evisc-tuple to other than its
default; see set-evisc-tuple). If t, terms of the form (hide
...) are printed as <hidden>. Otherwise, they are printed
normally.