That's why I don't think he ought to be removed from the DT list, plus as I said it's kind of too early to tell whether he's really gone for good.
I think he's gone for good. We had a little business deal going on with his AWS boxes that we carried out by email and suddenly today I noticed he blocked my (and I assume everybody else's) PMs.