We can remove that, it does not seem necessary now that there is a Python version.