Excellent article.
If I could offer one correction, it would be that SBU (as specified by the USB 3.0 Promoter Group[1]) means "Sideband Use" rather than "Secondary Bus".
On some devices, it is used to carry UART; on others, audio.
[1]: https://www.usb.org/sites/default/files/USB%20Type-C%20Spec%... (pdf)
Their email address is under the Contact link in the header :)