Ensure most generated HTML IDs are unique.