On Tue, Mar 5, 2019 at 11:46 AM Arthur A. Gleckler <xxxxxx@speechcode.com> wrote:

I just checked, and the excellent tool Pandoc does indeed support conversion from HTML to XHTML, so that process could be automated.

I just tried using Pandoc for this. Unfortunately, it makes a mess of indentation and the <head>, making the diff much bigger than I would like.