<div dir="ltr"><div>I have put down some thoughts about simplifying the exact print annotations, prior to extending them to support printing the `RenamedSource`.</div><div><br></div><div>See <a href="https://gitlab.haskell.org/ghc/ghc/-/issues/22319">https://gitlab.haskell.org/ghc/ghc/-/issues/22319</a></div><div><br></div><div>Alan<br></div></div>