Trac.webkit.org was down last night for an upgrade (which is great!) But now it's super-duper slow. Loading pages like: http://trac.webkit.org/browser/trunk/WebCore or browsing around, takes much longer than before. Any idea what's wrong? -eric