USB MIDI with Android

Some new information has come to my attention, so i’m sharing it here for completeness sake: