GetTor statistics are not updated since June 3
Today, I noticed that
http://gettor.torproject.org:8080/~gettor/gettor_stats.txt
ends on June 3. Is the GetTor process still running? If so, is there some other problem with updating the gettor_stats.txt file?