STEP registry
The server cannot reach STEP. It searches the registry file you build locally with
python step_sync.py pull and upload here.
Upload a new registry
A step-registry-*.json.gz (or .json) file. It replaces the current registry in one step; searches keep working meanwhile.