@whitequark thank you for walking me through how to do this, and yeah, something on server-side is double-escaping things 😞 I even realized there was a way to directly edit the contents of the settings.json file in the Etherpad admin GUI but it still gets re-escaped somewhere