Feature/unload ipython extension#379

nikolas-claussen wants to merge 4 commits intopatrick-kidger:mainpatrick-kidger/jaxtyping:mainfrom

nikolas-claussen:feature/unload-ipython-extensionnikolas-claussen/jaxtyping:feature/unload-ipython-extensionCopy head branch name to clipboard