How does this user-agent thing work and how do I look for it in my webservers log to see who reads my feed?