Anyone remember GitHub Writer?

We launched our WYSIWYG editor plugin for GitHub on May 6th. I was wondering for those who have tried it, how is your experience been? 👀 And if there is anyone who is still using it 🤞https://www.producthunt.com/post... Since then we've been updating the browser extension with the latest CKEditor 5, and continuously working on its compatibility. The latest release includes GitHub's native dark theme: https://github.com/ckeditor/gith...