pip may be redundant

[bendichter]

I think the pypi link is probably redundant if we are already asking for the name. I can't think of a situation where it would be anything other than https://pypi.org/project/{ name }/

[rly]

In the very unlikely situation that two separate groups create an extension with the same name and tries to publish it on PyPI, then the first person gets the PyPI name, and the second person must use a different name on PyPI. They should at that point rename their extension for universal uniqueness, but if they don't, then they may set a PyPI package name that is different from the project or extension name. As an example, Loren has a software package called "spyglass". "spyglass" was already taken on PyPI so they had to name their PyPI package "spyglass-neuro".

That said, this is rare, so we can make the pip key optional and infer it when it is not specified.