[xwiki-devs] What user agent ?

Hi devs, I need to make Extension Manager provide a user agent when communicating with repositories to be a good http citizen but I'm not sure which user agent to set. Should it be: * an Extension Manager repository handler user agent * an Extension Manager user agent * an XWiki user agent * an XWiki platform user agent WDYT ? -- Thomas Mortagne