I have put down some thoughts about simplifying the exact print annotations, prior to extending them to support printing the `RenamedSource`.

See https://gitlab.haskell.org/ghc/ghc/-/issues/22319

Alan