pkg_delete: No matching package for basename `py38-html-docs-3.8.17' of `py38-html-docs-3.8.17'