discover.py: choose a random USER_AGENT