That is a neat trick. Added to the list. (Ultimately unhelpful though because I use mosh everywhere these days and that doesn't appear to have anything fancy

That is a neat trick. Added to the list. (Ultimately unhelpful though because I use mosh everywhere these days and that doesn't appear to have anything fancy like this.)