download/ediff.html: add