Re: [GHC] #14250: GHCi by default opens .ghci files in local directories.