Found at “hrvachdeskhop: Fast Desktop Switching Device” on 2023-12-27 15:53:23 +01:00.

All I wanted was a way to use a keyboard shortcut to quickly switch outputs, paired with the ability to do the same by magically moving the mouse pointer between monitors.