Thanks for the suggestions. So far, I have only done a couple of test
conversions, so it's too early to comment. The one mistake I did notice was in
a conversion to WP-5, where a flush right header seems to have come out at the
left margin intead. Will report on later results.