Is GHC’s Trac down again?  It’s not working for me.

Simon