midi: document+.