Release v20.11.7

20.11.7

• there now are new scripting commands script.noteTextEditSetCursorPosition()
  and script.noteTextEditCursorPosition() to set the text cursor in the note
  text edit to a certain position and to get the current position
  (for #1950)
  • for more information please take a look at the
    scripting documentation
• added more Greek translation (thank you Gregory.K)