An application for automatic internationalization of content in HTML files