Never mind — I found it: How to use the new text editing gestures. First attempts suggest it doesn’t work very well.