A documentation file.