I was there in certain Python easyconfigs, but not in others, I wanted to align things to make them include the same set of extensions.
Adding an extension is OK, imho (as opposed to removing one).