I’ve actually been using an almost identical filter for GraphViz markup in my university papers for the last year, except I added a leading exclamation point to the language tag to distinguish between included source and included markup:

  ```!dot
  (Markup)
  ```

I wish they’d adopted something like that instead - I have no idea how you’d include highlighted Mermaid source in a GH markdown file.