HTML files included into built docs without modification.