GitHub repository: ttimbers/jupyterext-text-shortcuts
Description: A Jupyter Lab extension for keyboard text shortcuts