Rename `DiverseSelector` to `selector` for updateheaders.py c23466b Fanwang Meng commited on Nov 1, 2023