Github Mention: feat(settings): add developer settings section and mermaid rendering switch
May 20NetLogo-Mobile/plweb2codex/add-developer-options-in-settings
+11-4