Decoupling from GHC is something that can be beneficial to everyone. We can focus on this. For example, splitting base is a good idea – and it’s currently being done I think. Maybe decoupling Haddock can be beneficial as well, I don’t know.
People can make a case for spending HF resources for technical projects via a tech proposal