Talk:Naming collision

"Name collision"
Is "name collision" not a synonym of "naming collision?" Jarble (talk) 21:34, 19 September 2020 (UTC)