This should be a good time to shorten the name of this port from "mozilla-firefox" to just "firefox". It is world-famous under the name "firefox", almost nobody calls it "mozilla firefox". Similar to the renaming of tomcat, maybe apache-ant -> ant, etc.

Reply via email to