As far as I can tell, the stats page (http://www.openstreetmap.org/stats/data_stats.html) which usually updates every day, hasn't updated since November 4. Are people aware of this and is there any ETA for a fix? Thanks, Ben