Naming is of course one of the two hard problems in computer science…
We renamed the report because the scope is wider than GHC-the-project, e.g. it includes Cabal and HLS, which are independent projects, even if they are currently more tightly coupled to GHC than would be ideal. The report is intended to cover all the work Well-Typed are doing across Haskell tooling, so if at some stage we have some MicroHs contributions to report, we’ll gladly include them! On the other hand there are many great things going on within GHC/Cabal/HLS/etc. that don’t get included in our report because they are the work of other contributors.
One contribution that seems potentially relevant for MicroHs is the recent work we’ve been doing towards decoupling base from GHC.