PortsのFirefoxがv.10.0になったので更新した．ついにバージョン番号が2桁…