GHC 8.8-related changelogs omit several important major developments

While looking at the various changelogs associated with GHC 8.8, I noticed several key omissions:

libraries/base/changelog.md

• The 4.13.0.0 entry makes no mention of MonadFail whatsoever.

docs/users_guide/8.8.1-notes.rst

No mention of any of the following:

• Visible kind application
• More explicit foralls in type family equations and RULES
• The base section also does not mention MonadFail. Ideally, it would also point to https://gitlab.haskell.org/ghc/ghc/wikis/proposal/monad-fail#adapting-old-code
• The Template Haskell section makes no mention of visible kind applications nor more explicit foralls.