 ::: Well, a check to see if the IP and registered user are the same would be a good idea, in view of the fact that they make identical edits. And reinstating the block of the IP is another thing I asked to consider. It's all there on WP:ANI.   