5-port HDMI switch: 4PET0501S https://www.protechet.com/products/4pet0501s
3-port HDMI switch chip. Two of these are daisy-chained LT8631SX http://www.lontiumsemi.com/product/View_27.html
IR remote library for decoding remote with NEC protocol https://github.com/peterhinch/micropython_ir