Editor_state.screen_top1 = {line=1, pos=1}
  Editor_state.cursor1 = {line=1, pos=1}
  -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708

  edit.check_locs(Editor_state)

  Editor_state.screen_top1 = {line=1, pos=1}
  Editor_state.cursor1 = {line=1, pos=1}