Name collision in general is not good, but also in this specific case they've had issues being confused with the game company called Riot, so I can't imagine they would want to go with an already-used name again if they could help it.