I’ll have to read up on what you mean using IR remotes to control a Pi through HDMI HEC. The computer I’m using has an DP output that I’ve used an adapter to feed to my TV HDMI. So I may not be able to use your setup. But it sounds novel and interesting so I would definitely like to learn more. Thanks.