Shared code, maintained outside this repository at the tag recorded in VERSION; do not edit here, run scripts/sync-core.sh instead.
