In fact it seems to have bitten the dust around 2016, I just didn't notice until I met a robot from 13.blahblah. The whole 13. sector used to be Xerox. It is now (skipping the bits that are still Xerox):
13.32-47 13.32.0.0/12 Amazon
13.52-59 13.52.0.0/14 13.56.0.0/14 Amazon Australia
13.64-111 13.64.0.0/11 13.96.0.0/13 13.104.0.0/14 Microsoft
13.108-111 13.108.0.0/14 Salesforce (I don't even know who this is, but it's where the robot came from)
13.112-115 13.112.0.0/14 Amazon Japan
13.116-123 13.116.0.0/14 13.120.0.0/14 Softlayer
13.124-127 13.124.0.0/14 Amazon Korea
... at which point DomainTools wouldn't let me do any more lookups, so someone else can fill in the blanks. Some of the remainder is still Xerox; some is under RIPE. (Which must be livid at the idea of /14 chunks being handed out like confetti, while their remaining IPv4 ranges are now doled out in /22 increments.)
Turns out I've encountered plenty of earlier robots from 13, but they were one and all blocked, so I never noticed. Huh.
Bewenched
6:44 pm on May 16, 2018 (gmt 0)
New range for Steadfast 208.100.0.0/18
keyplyr
7:35 pm on May 16, 2018 (gmt 0)
Full range for Steadfast 208.100.0.0 - 208.100.63.255 208.100.0.0/18
Server Farms - Jan 2018
