Thanks for the pointer. Tried it out - it's similar to Gingko but seems much less polished, and I couldn't find the keyboard shortcuts! I guess the advantage is that it's free. I really hope this kind of text manipulation will get developed further.