The problem seems to be more extended than previously expected: an hardware issue on our server produces random spikes and kernel panic which force brutal shutdowns of the system, causing - other than temporary unavailability of our web services - damages on database tables abruptly closed.
We are schedulating a massive migration for tomorrow, that will resolve in a long downtime. More news soon on the Arduino blog.