midi: rdoc+.