Comment 10 for bug 535806

hmmm 12 sec vs 15 secs is not really worth the trouble.

Did you try this with a debug or a release build? I think only the compared loading times off release time would be interesting in this case, as that would be the "end user version"

if those numbers are from a release build, I would vote for "Won't fix!"

In any case thank you a lot Gabriel for your effort :) !