formatting fixes ([diff](https://trac.torproject.org/projects/tor/wiki/org/meetings/2017Amsterdam/Notes/mixnets?action=diff&version=2)) URL: https://trac.torproject.org/projects/tor/wiki/org/meetings/2017Amsterdam/Notes/mixnets?version=2