This is not first time Antirez quit. 10 or 8 years ago he deleted his Twitter account with 10k followers. I think today it reached critical mass, and he does not want to be public figure anymore.