Is the metrics portal at https://metrics.torproject.org/ partly down, or undergoing maintenance or something? I see that some of the stats don't seem to have been updated in the last week or so. Many of the graphs are truncated, e.g. https://metrics.torproject.org/users.html?graph=direct-users&start=2011-..., and the per-relay stats on the https://metrics.torproject.org/networkstatus.html page all seem to stop with the 2011-10-12 13:00:00.0 consensus.