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