Re: [GHC] #15994: Duplicate entries in -ddump-minimal-imports