^ this has a bunch of info + external links. Richard Eisenberg is the one owning it afaiu.
I think there's also a GHC branch somewhere but idr its name.