Re: [GHC] #12559: Don't ignore addTopDecls in addModFinalizer