[tor-commits] [doctor/master] Revert '[DocTor]' prefix