Re: [Dillo-dev] Suggestion & patch for browser identification (user-agent)