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.
* https://www.tuxedocomputers.com/en