As far as HDMI switches go I can only recommend the following, there may be better available but I use this one and know it works very well
https://www.amazon.co.uk/TeckNet-Por...ch+with+remote
If you have ethernet hardwired your chosen choice may well work but you need to check with the seller that its HDCP compatible.
Sorry that particular type of device is not something I've ever looked into apart from the link you posted so cannot say or recommend any product.