Is it just me, or is GHC’s Trac super-slow (again)? Actually it’s not just slow but offline from where I am.
Simon