Ich habe die Zeitmessung mal ans Ende von main.js gehangen (das war doch richtig?). Ergebnis:

FF ==> 1,5 Sekunden
IE ==> 29 Sekunden

Dürfte 3 mal so langsam gedauert haben wie sonst, ich probiere es später nochmal. Aber der Unterschied ist deutlich!