hellais says Alejandro and kudrom are the same person. Also make a trivial fix. ([diff](https://trac.torproject.org/projects/tor/wiki/doc/VegasTeam3?action=diff&version=4)) URL: https://trac.torproject.org/projects/tor/wiki/doc/VegasTeam3?version=4