usually we have the quarterly maintenance break on the first thursday of each
quarter. This time I'll be pushing it forward by one week, that is, to 9th of
July. I'm not expecting a longer-than-usual break, the typical ~2hrs should do
it, starting at boot.