Added a developer options page (simple JSON editor)