Re: [GHC] #15452: [GHCi] Add an option to make tab completion case-insensitive