extension to HTML's `Navigator` interface for dynamic localization of content.