# Utilities for typeshed infrastructure scripts.