Propagated i18n tags, as reminded by #884.