[tor-commits] [tor/master] fix a few grammar things, and deprecate 'servers' and 'nodes'