Thanks, this was very insightful and entertaining once again!

One thing: you might want to mention the required board thickness (0.8mm, iirc?) for people planning to have their own boards made.

Edit, explanation for others: that is required to make the "USB-C edge connector" fit the plug.