My real opinion would be "check out Tuxedo computers*," because every device I ever bought from them worked flawlessly (must be that vaunted German engineering), but of the options you listed I guess I'd go with S76, as they are all-in on GNU/Linux and I've heard good things about pop! OS.
Writing from my TUXEDO InfinityBook Pro 14 - Gen7 in a train (important details :D), it runs very well with a good old Arch Linux and i3. The battery is really good!
* https://www.tuxedocomputers.com/en