I have checked in the signals on page 2 of this thread as a Girr file
[Link: raw.githubusercontent.com] . For simplicity and brevity, only the parameters are contained; the Pronto Hex can be generated in IrScrutinizer. (Girr is the native format for IrScrutinizer. It can also be read by RMIR/RemoteMaster to generate remote configurations for UEI remotes.)