Can't believe no one pointed it out:
> Meanwhile, there’s another output on the splitter (that can either be 4K or 2K (some people quaintly call this “1080p”))
Nope. 1080 is the horizontal resolution as is 4K. So 1080p is not 2K. 1080p is 2 MP, and 4K is 8MP.