remove redundant translations #105
Description
currently as per a limitation in shiny.i18n (?) only one translation.json is considered in the JavaScript behind shiny.i18n::update_lang(), even when there are several json files in the HTML head.
Cleanly, these should be identified by the respective Translator object but that does not appear to be the case.
So, for now, we gotta duplicate some translations in the JSON, because only the latest (?) one to be added appears to be considered.