The USB-C connector component chosen was the USB4520-03-1-A made by GCT

You can buy it e.g. at Digi-Key

Datasheet https://gct.co/files/drawings/usb4520.pd...

Digi-Key: https://www.digikey.com/en/products/deta...

After unsoldering the Micro-B connector the sides of the rectangular cutout needs to be filed out very little to make space for the slightly wider new connector

File out also the opening in the back shell to allow the new part to fit through.