This should either be left in place or deleted. It's probably safe to delete - 1.2.0.0 defaults to FIREFOX_3 and as you say, FIREFOX_3 does not exist in 1.3. We can reconfigure browsers to run as in the future, should we upgrade.