I'm not sure what your question is, there's all sorts of uninteresting complications to the trademarks on the name "Firefox" and how Mozilla deals with it.