@wollman oh interesting, I thought the point of the line editing stuff was to make it faster (and do it locally on the terminal) but I guess that's not true!