Bugfix: incorrect .gitignore file meant some docs were missing from git source control.