Fixed: duplicate menuitems in Tools menu on Firefox