Yep! Docs is using our editor BlockNote (https://www.blocknotejs.org) which builds upon Prosemirror (and we're also proud to be sponsors of Marijn from Prosemirror who's done an amazing job, indeed)