consider building kernel with rndis_host module support
I understand why the linux-modules-extra and linux-image-extra packages aren't available in the repository.
Is there anything ethically wrong with rebuilding the kernel with rndis_host (CONFIG_USB_ETH_RNDIS) for USB device tethering? If not, maybe that should be introduced in the Trisquel 11 release of the kernel?