[tor-commits] [gettor/master] Changes related to GetTor meeting of October 10th. Deleted obsolete documentation.