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?
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information