wp mirror, 22/02/2014 23:40:
Still, it would be nice if the dump files could be fixed.
Fixed? <title> is the full page name as it's supposed to be. Either you're doing something wrong with the import, or the import script/special page has a bug (not uncommon, but needs a bug report with steps to reproduce). I see nothing to blame on the export side.
Nemo