Betting the HDMI port is connected to the NVIDIA GPU too. That might be great for gaming, but NVIDIA drivers are still a mess on modern Linux, especially if the

Betting the HDMI port is connected to the NVIDIA GPU too. That might be great for gaming, but NVIDIA drivers are still a mess on modern Linux, especially if they have to render your desktop.