Tweak a top title.
Rename some files.
Update the installation doc.
Fix an include in home.