Reformat header line.
Change .gitignore to ignore HTML and PDF files.