@jwz That's about 1000 person years of development. So you could get a team of say, 10 people working full time for 100 years, or you could increase the team size up to 100 people working full time for 10 years. That's a lot of actual Firefox development they are throwing away.