Hdmi / CEC protocol in the Raspberry Pi, has anyone had good success with it? I've tried using it in the past and found the tools to be pretty close to pathetic. It's now several years later and the ...