Well, it is weird that a laptop in 2025 has HDMI 2.0b instead of HDMI 2.1. My 3yo Thinkpad T14s Gen3 AMD already has HDMI 2.1 Yes, you can have 4K@120hz with a USB4 dongle/dock, but it is a weird choice. Not as bad as the HDMI, but also weird to have Wifi 6E instead of Wifi 7.
Tuxedo has released a new and compact laptop. Since the manufacturer uses the term ultrabook, the notebook should offer decent performance. The InfinityBook Pro 14 is equipped with AMD Ryzen AI 300 processors and can be configured with lots of memory.