Remove all mentions of mdbook-mermaid, which is no longer used
#721
| Job | Run time |
|---|---|
| 42s | |
| 42s |
mdbook-mermaid, which is no longer used
#721
| Job | Run time |
|---|---|
| 42s | |
| 42s |