> On September 2, 2018 at 9:49 AM Matthias Seidel <matthias.sei...@hamburg.de > mailto:matthias.sei...@hamburg.de > wrote: > > > > > Maybe something changed in Debian/Ubuntu? > > > > > No, but is your version from the repos? It seems to be an ESR > > (plain > Mozilla, no Ubuntu in the User Agent). >
There is no ESR version on the Ubuntu repos. That explains it (only Ubuntu files, report the Distro...) So this means that the correct Distro information needs to be extracted from somewhere else. Any ideas? Would it be absurd to have a drop list for the user to select the distro? (with Ubuntu offered if automatically detected?)