Draw mermaid diagrams at build time, with Pele #15

What changed from r1 to r2, pushed Oct 19. The branch was rebased, from f11685d onto a5bc3d5, so a diff of the tips would mix in everything that landed in between. Instead each commit is paired with its earlier version (git range-diff).

3 commits: 3 unchanged.

3 unchanged commits

unchanged 7f71c90 → 3527968 Draw mermaid diagrams at build time, with Pele

unchanged 307fe64 → e7033c1 Draw a wide diagram again for phones

unchanged d0e7b0b → d08b3da Name the line a diagram's syntax error is on