Cursive 1.13.1 is out! Support for IntelliJ 2023.3, breadcrumbs, Nav Bar and Context Info support, many fixes to deps support, REPL zooming, Specter & Rama support (somewhat) and many more bugs squashed. https://groups.google.com/g/cursive/c/G3wjbAhqAcA/m/MVaXnc0vAgAJ