Configure deprecation for ghc-tcplugins-extra