Re: [GHC] #15826: Allow registering (Source)Plugins through the GHC API