Matthias, David, David Binder http://ps.informatik.uni-tuebingen.de/team/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? Matthias https://github.com/Tritlowants to extend HPC in a number of ways. See here https://github.mpg.is/posts/2022/04/26/better-hpc-traces.htmland here https://github.com/ghc-proposals/ghc-proposals/pull/539. 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