It would be good and is slated for the future, but the trouble is that Ioa writes the manual using MultiMarkdown, and currently .mobi and .epub export don’t support MultiMarkdown. We hope to include MMD->ebook support in the future sometime, which would make this easier.
All the best,
Keith