Remove /Documentation from .gitignore, so can publish to separate branch