Initial import from the existing HTML files.