062b6ab743
I realized it is non-trivial to delete the global Python version pin, and that we were missing this simple functionality