sheaf authored Apr 25, 2022 and Marge Bot committed Apr 27, 2022

There was no mention of the changes to type-checking plugins
in the 9.4.1 notes, and the extending_ghc documentation contained
a reference to an outdated type.