Without a project name, documentation looks crummy. We should use filenames as project names wherever possible.