I ended up buying the same KVM switch I had before, a newer model (the one I had was discontinued). Better KVMs are $200 and up and meant for two screens, which I don’t have, so it’s a waste. Besides, the performance of the old one was OK. Meanwhile, I’m using Deskflow.