use unique IDs for modal labels in doc examples so HTML validates