Vaadin 12 and RichTextArea

In the following Link you write that RichTextArea will come in Vaadin 12

https://vaadin.com/docs/flow/migration/5-components.html

What you think, when will come RichtTextArea?

https://github.com/orgs/vaadin/projects/1 is kept up to date and says Vaadin 13. There is also a beta release of the web component: https://github.com/vaadin/vaadin-rich-text-editor/releases/tag/v1.0.0-beta2
and the Flow integration: https://github.com/vaadin/vaadin-rich-text-editor-flow/releases/tag/1.0.0.beta1

thanks