[tor-commits] [doctor/master] Disable DocTor for dannenberg for now