@baldur Actually, “several minutes” is an exaggeration, for which I apologize. “More than 30 seconds” would be more like it.