Better Docs Management, Staged Rollouts

cursorfri, sep 8, 2023

original release ↗

✓fixed 4

Copy Paste chat text form Jupyter
Some chat focus issues
UI tweaks
Better state management - prevents crashes from editor using too much memory