Text this: Industrial policy in East Asia