created by build-public-repo.py — safe to regenerate
