Re: [GHC] #14476: Keep source locations in Core (optionally)