Re: [GHC] #10408: The behavior of -ignore-dot-ghci and -ghci-script are weird