Re: [GHC] #11782: Teach ghc-pkg to read multiple registrations from command line