[tor-commits] [stem/master] Noting that the BadDirectory flag was removed from tor