Anyone programmed a Pi using Python to control/detect CEC stuff through the HDMI?