The proper name for a python package is the one in the setuptools
setup() call, which can also be seen on pypi.
Correct: https://pypi.org/project/torch/
Wrong: https://pypi.org/project/pytorch/
Includes a treewide rename of the attribute and creates aliases for the
old name.