jump-to in editor-stream-out%

Jumps to a given position in the stream.