when retrieving feeds, use curl with a user agent that is not blacklisted (as wget and curl's default agent are)