[tor-commits] [community/master] Use port 3818 instead of 9001 in our example log.