... and in the case of KindleGen output, the plain-jane MOBI tends to be of atrocious quality, so one might as well save the trouble and convert to (preferably) EPUB instead, in a more capable converter such as Calibre. I think that is what the original poster of this thread eventually did, and good for him.
