fix typos that surfaced while creating German translation - #170

Sep 10, 2026

fix typos that surfaced while creating German translation#170
joneugster merged 2 commits into
leanprover-community:mainfrom
TentativeConvert:main

use consistent terminology and spelling for editor and typewriter modes