estimó que había 12 millones de usuarios de Ubuntu.