I want this for my TV in the form of an HDMI pass-through device that mutes the audio and/or greatly dims the picture while commercials are being played.
You could set that up on a raspberry Pi, to play IPTV.
A pure HDMI pass-through may be expensive because of the HDMI acquisition-side.