Do you think that it's better to add a classic default in `local.py-dist` for `MARKETPLACE_URL` or to document a manual addition to local settings?