This section is at https://rollingedition.com/open-table-formats/evolving-schema#rename-column-without-rewrite.