Do all bots use a lowercase user agent string all the time?