dotdotdot initialisation is now done progressively, fixes browser javascript busy window