Wrote a bit about MIDI encoding in msg.py for people unfamiliar with it.