no one is getting banned per their request. they can remove themselves but they will not be banned.

banning is reserved for offenses, really really bad ones.

sorry to see him leave.

--------------
What difference does it make to the dead, the orphans and the homeless, whether the mad destruction is wrought under the name of totalitarianism or the holy name of liberty or democracy?

Mahatma Gandhi (1869 - 1948), "Non-Violence in Peace and War"