s/extra-html-files/extra-doc-files/.