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