https://geardiary.com/2013/01/22/the-good-and-bad-of-hdmi-switching/