This has been slipping under the radar since June, but today they goofed by requesting six files within a 12-hour period. Or rather, six of the same file; they’ve never asked for anything else.

IP: various, including but not limited to DigitalOcean
UA: PS_Daily/1.0 Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/123.0.0.0 Safari/537.36
robots.txt: never

Requests always come in pairs, no more than a second apart, with identical IP/UA/headers. Can’t be canonicalization, since both go directly to HTTPS and neither of the two is www-redirected.

The file that holds them spellbound, in case anyone wondered, is
/webs/robots/searchbots.html
which, as the filename hints, is one of the pages that began life as At Home with the Robots. They can't be looking for their own name, though; it isn't there and never will be. Heck, they're not even prominent enough for the neighboring badbots.html ;)

UA now blocked. They’ve thoughtfully put the significant part at the very beginning of the UA string, which will save the server a few picoseconds.

Food for a different thread's thought: What proportion of unwelcome robots now go straight to HTTPS? I don't think it's a majority yet. In fact, some don't even follow http-to-https redirects.