Improvements related to mermaid

• mermaid graphs should ends with .mmd extension following https://mermaid.js.org/ecosystem/integrations-create.html
• quoting labels (error observed with "=" in labels)