It’s time to stop using Python 3.7

This is obvious <i>a priori</i> but as most experienced folks know there are lots of behemoths that will take forever to phase it out.