The vandal has either run out of IPs or lost interest. I'm going to bed now
but when I arrive at work (in about 10 hours) I will unblock the IPs the
vandal was using and periodically monitor Recent Changes. If somebody else
feels up to it, they can unblock the IPs sooner and then keep on eye on
Recent Changes.
--mav