[09:43] As mentioned yesterday, we are about to do some hardware maintenance on the ports.ubuntu.com mirror sync trigger equipment. [13:45] The ports mirror manager is rebuilding its archive now, and appears to be in good health.