TIL that when you have your Thinkpad docked, the laptop's ethernet port is disabled, so that you can use the one on the dock.
I almost got crazy. It took me 2 days to figure it out...
Linux geeks doing what Linux geeks do...