> I wonder if using RLE encoding would not have been but vastly simpler and more compact...
No, mate - it wouldn't. Don't be confused by the "printf"-dump; the Python script processed it into pairs of (frequency,delay). That is, when you see...
The notes were already encoded as frequency and duration. The Huffman coding was required to get that down to an even smaller size.
RLE might have helped for repeated notes - but I guess Huffman coding kinda compensates for that anyway, in the repeated notes will probably end up with shorter bit strings.