Does anyone know how much of that comes from Linux Mint? I dabbled with DDG a few times, but only when I changed to Mint did I start using it frequently. I've

Does anyone know how much of that comes from Linux Mint? I dabbled with DDG a few times, but only when I changed to Mint did I start using it frequently. I've since wondered how much of a proportion of the traffic of DDG is because it's now the default search engine for Firefox in Mint.