Please merge branch [typos](https://gitweb.torproject.org/user/karsten/torspec.git/shortlog/refs/heads/typos) in my public torspec repository.