Re: [Therion] Hidding user-defined symbols [was strata and fault symbols]