Matthias, David,
David Binder apparently has some PRs for GHC's HPC program coverage stuff that have somehow languished un-merged for some time. David, can you point us to them, so we can look?
Maybe you want to talk to each other? You are both here at ICFP!
And it would be great to have a little team that cared about HPC more generally, and could look after it.
Thanks. Apologies if I have misunderstood anyone.
Simon