https://blog.torproject.org/code-audit-censorship-circumvention-tools/