The future of mermaid.js.org

[DavidSeptimus]

The mermaid.js.org homepage refers to a migration of the home for mermaid.js moving to mermaid.ai.

Currently, the documentation is available on both domains. I'm wondering what the long-term strategy is for mermaid.js.org? Will it eventually be shut down? Will existing links redirect to mermaid.ai equivalents?

Thanks.