[tor-commits] [torspec/master] Add three older documents removed from tor.git