Question on USB MIDI

I wonder and I didn’t find a definitive answer, yet…

How fast is USB MIDI? Can I pump more than the 31.25 kbit per second through it or is that limit still in place?

No speculative / half educated answers, please… I speculated myself. What I really need is a definitive answer like: “yes, USB MIDI can pump at the speed of USB 1.0 / 2.0 / 3.0” or “no, USB MIDI is still limited by the operating system kernel to 31.25 kbit per second for compatibility purposes”.