Doesn't prove they bot at all, could be just for advertising.
Also with such a big company I am sure they would not bother using a free bot that is far more detectable than other bots which can be bought for a reasonable cost. AKA rsbotting.com, rsbots.net etc.