I'd use a major distro that's been around a while. Avoids having them vanish.
Does it matter? Well, different package system. Some different conventions. Some different defaults. You can make an Arch Linux machine look identical to a Debian machine look identical to a Fedora machine if you want.
Tuxedo OS is Ubuntu LTS with some minor modifications and some drivers from Tuxedo pre-installed. I use a Tuxedo laptop running Debian just fine. You're probably fine with Tuxedo OS if you're happy with it.