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