Replying to
@whot@fosstodon.org @jose_exposito@fosstodon.org @kernellogger@fosstodon.org
I misremembered somewhat. They actually sent me the source code of a little USB device driver (not HID) in 2018, which had a file with installation instructions, but also the description of the protocol in the .c file header (screenshot below). It was somewhat useful as the confirmation and clarification of the actual observed protocol. It's likely out-of-date by now.
Not sharing the complete sources, as I don't really know how sensitive they are about it.