Code review comment for lp:~widelands-dev/widelands/bug-1636586-editor-player-menu-i18n

You're right, the plain version is already taken care of during loading, so no need to check it when saving.

Thanks for the review!

@bunnybot merge