It would be nice if IntranetNav system preference was moved to HTML customizations. It would allow for example translations to different languages.