At some point I renamed the options category that was called "Textbox dimensions" to

At some point I renamed the options category that was called "Textbox dimensions" to
"Editing", because most of the options in it weren't specific to the size of the textbox.
Apparently this change made it into Language.php, so here I'm making the same change to the
other language files. It would be nice if translators could make the necessary changes to the
translations too.