I wanted to know what all tools does Jeremy recommend/use?
e.g. Tmux and Jupyter were quite useful tools.
Also, I noticed that Jeremy notebook looks a bit different that the default one (like it supports markdown folding etc.), so what extensions are used for that?