[tor-commits] [community/master] Merge branch 'fix-docker-dead-link'