I upgraded to #fedora 40 and suddenly I can control my monitor's brightness through HDMI

Woah