I don’t know what’s more shocking, Zhang stepping down or an HR head becoming CEO of a major tech company.