Today I learned: if you have an Android device with working WiFi and a Linux PC with no Internet connectivity, you can tether the Android device to the PC via USB to get connectivity on the PC, and in my experience, it just works.
To clarify, the PC is running GNOME with NetworkManager. I'm sure NetworkManager is responsible for the "just works" part.
