Really cool paper, @Felix Kohlgrüber. Worth posting to #C5T9GPWFL considering the recent conversations here on structured editing. The authors are pointing out a new trade-off between conventional and structured editors that I hadn't seen before.

Yep, I'll definitely do that. I'm still reading through other work of the author which is incredible as well.