Remove old setting to toggle the mermaid markdown tool

Instead you can now disable the tool itself, which is more consistent with the rest of our UX