added localized name to tinygettext; also use it in the options screen (which obviously doesn't work well unless we have font fallback support)