Minor updates to text files to prepare for GitHub Pages.