If a file in COPYING/ is HTML, it should go in html/ subdir, and we can now produce a TXT variant based upon it.