A lifetime ban = a lifetime ban.
If he has done some great service to the AT community to redeem himself then maybe it is time to reconsider. If not (which is the case...), then what reason do we have to change the penalty?
Frankly, I don't care if he registers under a different name anonymously as long as his "true identity" is not known.
Considering the sheer volume of internet discussion boards out there, I don't see why this is even a debate...
I guess I just believe a life sentence should be a life sentence...