The Story of MIDI Tools