Another kink to think about is what if you have different communities with the same name on different servers with completely different content. Like what if the trees subreddit came to a server and created a marijuana themed community called trees, but then another server wanted to discuss actual trees so they called theirs trees too. Wouldn’t want those two being grouped together automatically.