jupyterをちょっとでも触ってると、ちょこちょこ不便だなぁと思うところが出てきます。（どんなツールでもそうですが…）でもjupyterくらい有名なプロダクトだと世界中の方が本当にさまざまな拡張…