JupyterLab extension for rich text editing in the notebook - View it on GitHub