Re: [ghc-steering-committee] Plugin recompilation avoidance interface (#108)