So I'm using an Etherpad hosting service that lets me configure it through a web GUI that writes values to a settings.json file (which I can't directly edit). I want to set the DEFAULT_PAD_TEXT variable to something including a newline. The settings file clearly documents how to do this using the standard "\n" escape. But the web GUI escapes the backslash before writing the value to settings.json, resulting in "\\n" in the value and "\n" in the output. Workarounds?