[tor-commits] [Git][tpo/applications/torbrowser-launcher][distro-deprecation-fix] Switch to using non-deprecated distro.name()