We'd only delay that long in the unusual case of an extension that crashes at startup... but 5-10 sec seems like a reasonable window to me.