[tor-commits] [doctor/master] Differentiate between 'no badexit flag' and 'not in consensus'