A terminal pane is likely out of scope yeah, it's a dev power feature but it just feels like it could fit. I'd guess hosting an arbitrary shell would not be straightforward though 😅

Thanks for the response! Yep pretty much - but perhaps a more general feature is a set of configurable shells. Using windows terminal as an example, there could be any number of profiles to pop a shell in

But do you let GitHub do the squash, or ask members to squash beforehand? (and rewrite commit message in GitHub)

This means that hot reload will have worked for two out of the past four years, as 7/9 were unusable. Maybe we should be sticking with LTS releases after all.