The fact they called Theymos "Michael" hints to me that they are either active in the community or have access to previous emails.

Im sure its not hard to find his first name. But in my research/lurking I have never come across it.

I dont even know if his name is Michael. But I just assume so now