When you left, do you have a sense for how many developers were actually working on Firefox full-time? I'm curious because people always say that Firefox would

When you left, do you have a sense for how many developers were actually working on Firefox full-time? I'm curious because people always say that Firefox would be impossible to fund, pointing to Mozilla's expenses, but I've never seen someone actually put forward the math for what portion of those expenses are actually Firefox.