Hahaha! That explains!
Sorry, as I mentioned, I am pretty familiar with MIDI, but had never looked into these specific protocols. I’ve done so now, and it indeed seems a bit weird that they went with HUI instead of MCU, especially since the protocols don’t seem to differ much and since it seems that all the DAWs they list as supported are happy doing MCU as well.