[smilespray]

I've never heard it called "type c", only "usb c".

[cesarb]

I have; it's the name of the Linux subsystem for it (for instance /sys/class/typec has information on the device's USB-C ports).