dev-environment: correct JSON in prefs.json github example