pkg_delete: No matching package for basename `git-docs-2.25.2' of `git-docs-2.25.2'