kbd-disp-switch - shared-monitor HDMI input switching (udev + ddcutil)