It is on my block-list and I have seen it only a couple of times in the last few months, visiting my small website, getting only a simple "404" each time. Can't recall if it asked for robots.txt. So I can confirm that it is still active, even for small targets.

:: close study of logs and headers, followed by prolonged head-scratching ::

They seem to have given up on me, only periodically asking for robots.txt (where they get the comprehensive Disallow: due to various header deficits). Unfortunately I don't save headers forever, but it kinda looks as if they changed headers at some time in early 2025, because before then they did get the occasional page.

earlier thread, from August 2024 [webmasterworld.com]

So yet another case of a robot that on Site A never requests robots.txt, while on Site B they request nothing but.