There are a lot of formats for describing IR signals.  I'm not sure why Pronto Hex became the most used format.  The timing list format offers better time resolution, and most of us interpret decimal numbers more easily than hexadecimal.  Both of these formats are quite redundant for most signals.  Formats which identify the burst pairs, assign an index to these, and then list the sequence of indices are much more compact.  Even shorter is Denon device 2 function 193.  Compare this to the equivalent Pronto HEx
0000 006D 0000 0020 000A 001E 000A 0046 000A 001E 000A 001E 000A 001E 000A 0046 000A 001E 000A 001E 000A 001E 000A 001E 000A 001E 000A 0046 000A 0046 000A 001E 000A 001E 000A 0679 000A 001E 000A 0046 000A 001E 000A 001E 000A 001E 000A 001E 000A 0046 000A 0046 000A 0046 000A 0046 000A 0046 000A 001E 000A 001E 000A 0046 000A 0046 000A 0679.

Another issue with Pronto Hex or a timing list is that it tends to obscure the relationships between a whole set of signals.  IRP notation allows us to see the entire system employed by an IR protocol:
Denon (Sharp) is
 {38k,264}<1,-3|1,-7>(D:5,F:8,0:2,1,-165,D:5,~F:8,3:2,1,-165)+