Now I am working no the import and export functionality of WordPress. Export seems to dump an XML file, with all text as a big CDATA section (see the W3C for what a CDATA is about). It appears that P tags are removed in the XML dump, and carriage returns are used, so the XML export looks readable with preserved line breaks.
Oh well. Progress, perhaps.