Add three older documents removed from tor.git