The amount of dev work isn’t fixed. I think it’s more likely that they’ll keep the 10 (or even hire more) and make more software.