Regarding Wlk777 being permanently banned.

There shouldn't be a permanent ban in principle.

+1. I've already expressed my opinion on this somewhere. I suggested simply increasing the duration of the next ban in a progressive manner. I think it's simple and fair.