Fix HDMI-CEC weirdness with a Raspberry Pi and a $7 cable from Hacker News on 2025-12-15 21:37 (#726CF) Comments
