Changes related to GetTor meeting of October 10th. Deleted obsolete documentation.