I agree that probably the three mentioned projects don't total a 6 million USD budget, which is the CEO salary at Mozilla, but is only close to it.