[tor-commits] [torbutton/master] Release script + doc updates.