AUTHORS, THANKS: Add additional credits for translators.