[mmastrac]

This seems to be in opposition to the blog post. In addition, according to the schematic there's USB-2 over that USB-C port:

https://www.raspberrypi.org/documentation/hardware/raspberry...