Glitches in 9.8.1 changelog / release notes

Looking at https://downloads.haskell.org/ghc/9.8.1-alpha4/docs/users_guide/9.8.1-notes.html:

• There's some broken RST syntax:

  Rewrite rules now support a limited form of higher order matching when a pattern variable is
  applied to distinct locally bound variables, as proposed in GHC Proposal #555
  <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0555-template-patterns.rst>

• This entry doesn't reflect !10748 (merged), which changed the new behaviour to be guarded by the -fno-specialise-incoherents flag:

  Incoherent instance applications are no longer specialised. The previous implementation of specialisation resulted in nondeterministic instance resolution in certain cases, breaking the specification described in the documentation of the INCOHERENT pragma. See #22448 (closed) for further details.

• This entry has a broken link on GHC.TypeError:

  GHC Proposal #433 (closed) has been implemented. This adds the class Unsatisfiable :: ErrorMessage -> Constraint to the GHC.TypeError module.

In general, section 2.1.3. Compiler seems like it could be better organised, and some of the changes look like they belong in section 2.1.2 Language. Perhaps we could separate out optimiser changes, warning changes, etc. into distinct (sub)sections?