I feel like people who were not in the room when the likes of Buzzard and de Moura were doing the pooh-poohing of every single other "competitor" (their perspective) should indeed withhold judgment on the annoyingness and vindictiveness of type theorists