I am well aware of their background (I own their book) and this is precisely why I think they haven't used a lot of IDE's. Actually, these past years, I've heard a few times from one of them claiming that with a good language, one doesn't need an IDE.