@mitu Thanks for confirming that.

In the meantime, I was able to determine that my HDMI monitor also has a 3.5 mm jack that I never noticed before, so I can plug my headphones into that instead.