Re: [GHC] #6017: Reading ./.ghci files raises security issues