un-gitignore top-level pdf docs