{
    "dev": "Developer options",
    "regedit": "Registry editor",
    "placeholders": {
        "dev": "Change the advanced developer options JSON configuration file",
        "regedit": "Explore the registry base of the site"
    }
}