So...this release is fantastic. I'm impressed. As I started using it, something small occurred to me. Here's a humble suggestion. Jorn van DijkBenjamin Den BoerJonas TreubFloris Verloop
This also keeps the code fold switching directly under the code editing, which makes it all a little more natural to navigate.