130 Fix HDMI-CEC weirdness with a Raspberry Pi and a $7 cable (johnlian.net) 17 hours ago jlian johnlian.net