As I'm now working from home and have my own laptop connected to a monitor by HDMI, I want to have my work laptop connected at the same time so I can switch between them. The monitor has a single HDMI port. I've looked around and have seen splitters for using one laptop into two monitors but not the other way around so that I can switch between work and personal laptop on the same monitor. Is such a thing available?