[tor-commits] [obfsproxy/master] Some tweaks in Colin's fix to #9823.