As far as I'm concerned, 142.177 is banned everywhere and his edits
are fair game for instant reversion. The same goes for '24'. We can
unban specific dynamic ip numbers that belong to this person, from
time to time, in order to spare trouble for other people. I think
that's the right way to think about '24's old IP being unbanned -- it
was not due to any pardon of '24' himself, at least not by me.
The big problem here is that 142.177.*.* is a pretty big block of ip
numbers. Under the current software, we don't really have a way to
block wildcards, and even if we did, there are serious issues here of
accidentally excluding potentially legitimate contributors.
I think that we should start brainstorming technical aids to help
with this problem.
--Jimbo