# source is in src/doc.txt, but it hasn't been remade in a while...
source-is-missing [doc/xxdiff-doc.html]
