Can you provide any evidence that the User Agent name was a trademark issue. As in the name exposed to websites. Because that is the only thing that matters here and also where everyone claims to be a variant of Mozilla for compatibility.