should we just do that when we "release" (i.e. push to PyPI)