even though issue https://github.com/mermaid-js/mermaid/issues/1687 is
still open, the workaround isn't needed anymore
(nor does it seem to have any effect any longer).