Hi,

I use a Tuxedo Computers 'InfinityBook Pro Gen7 (Mk1), according to the sticker.

The name is silly, but I use it for work with arch Linux exclusively and like it a lot.  The screen is delightful.

As the name suggests, the company deals in Linux computers and were nice to interact with.

Max