Looks like Synergy has been forked and the new version (Barrier) is available for most platforms. I’ve tried this out for about half an hour and it seems to work really well.
https://github.com/debauchee/barrier/releases
This might be the solution to some of the cable switching I have to do when I’m working from home.