HI, I just realized the display brightness function keys are no longer working, whereas xfce used to interpret those key-presses correctly some time ago. I would be happy about some hints where to start looking for potential problems. Thanks, Clemens