[tor-dev] [PATCH] Fix minor typos in tor-spec.txt