Port the Org mode manual to Org, document the new exporter