hasMermaidDiagram

Whether there is at least one Mermaid diagram. This is used to load the Mermaid library in HTML rendering only if necessary.