<div dir="ltr">It is the second time in about 12 hrs that all ports are reindexing from scratch. This should not be happening. Likely something messes up timestamps on the server side.</div>