Bug#883712: webkit2gtk: Add Debian to webkit user agent string

[Alberto Garcia]

On Thu, Dec 07, 2017 at 11:38:11AM -0500, Jeremy Bicha wrote:

> As for whether it makes sense for Debian, I guess you have to decide
> whether it's more useful to be able to see how popular Debian is on
> websites that report OS statistics (like Wikipedia) or whether it's
> more useful to hide that info to make it a bit tougher for third
> parties to identify our users (of course, website owners already
> know the IP address of every visitor).

If the only debate is having statistics of OS popularity vs making the
user harder to identify, I think I choose the latter. I don't know
what the rest of the team thinks...

Berto