Documented mido-* programs.