This is the result of running sudo lsusb -vv -d 0x13b1:0x0041
on Debian Linux 11.6.
The key thing that I was looking for was the device class:
Class: 2 CDC (Communications Device Class)
Subclass: 6 ECM (Ethernet Control Model)
The specification for the CDC Subclass for Ethernet Control Model Devices is here: https://www.usb.org/document-library/class-definitions-communication-devices-12