CircuitPython: PulseIO and cloning an IR remote control with Tony D!