Re: [Hat] set Prelude modules as untrusted