pub fn para_down(body: &TextBody, pos: Pos) -> Pos
Ctrl+Down: the start of the next paragraph, or the end of the last one.