EXTRA: server/routers/store.py (no longer generated)
