dtddiff2html(1p) on Linux

The text 4f31044500ce, as Debian 13 (Trixie), Debian 12 (Bookworm) shipped it. The page shows this text now.

Convert DTD difference to HTML.

Flags it lists