Fix HDMI-CEC weirdness with a Raspberry Pi and a $7 cable

(johnlian.net) by jlian | Dec 15, 2025 | 104 comments on HN