Text this: Manpower and postwar Asian development