Huh. I just recently met that name for the first time, but mine's from 188.8.131.52 (UK, I think, though I've seen a couple ranges recently that seem unsure what country they belong to).
Must have been tired when it visited me. Just robots.txt and then the front page-- or rather, not the front page. Asked for the without-www version after getting robots.txt on the correct with-www side, got an automatic 301 and then never bothered coming back. ::shrug::