This section is at https://rollingedition.com/open-table-formats/evolving-schema#rename-in-delta-lake.