Dirk,
Browser stats here: https://analytics.wikimedia.org/dashboards/browsers/#
all-sites-by-os do not detail all linux distros as we do not report on
anything below 0.05% of our request ratio. As such, Linux Mint is no longer
reported distinctively.
The point you made about Linux Mint not being
Dear mr Haar,
Thanks for bringing this to our attention.
The report you refer to has been discontinued since August 2015. (see page
notice)
https://stats.wikimedia.org/wikimedia/squids/SquidReportOperatingSystems.htm
The successor based on new definitions, and methodology is at
https