Use filename as project name if only one is given, document auto-project name preferences #620
Description
Without a project name, documentation looks crummy. We should use filenames as project names wherever possible.
{{ message }}
Without a project name, documentation looks crummy. We should use filenames as project names wherever possible.