and right, they are not in the official PR. the common.py additions in this PR are a mistake.