Migrate to Python 3.