I saw that stats.grok.se has data for May 1-8 and May 10 but is missing May 9 data. Any idea if this is because stats.grok.se didn't run properly or because the Wikimedia dumps for May 9 aren't available?