Deleted a post because it was wrong; critique of Mozilla should have been aimed at Duck Duck Go instead. Apologies @mozillaofficial!