I updated... something. There were some modules that required manual fixing because they were not part of dkms, so I did that. It all looked very minor. I installed linux-headers-6.2.0-24-generic over linux-headers-6.2.0-20-generic. While I was at it, I also upgraded the nVidia graphics drivers and lost my graphics. (That's not what I'm writing about here though.)
When I rebooted, I had no network. It turns out that the module for my ethernet device, igc, is in linux-headers-6.2.0-20-generic but not in linux-headers-6.2.0-24-generic. What's up with that? The problem is that I can't figure out how to get Ubuntu to go back to using linux-headers-6.2.0-20-generic. I tried apt install --reinstall linux-headers-6.2.0-20-generic. It did not work. I could put a softlink from linux-headers-6.2.0-24-generic to linux-headers-6.2.0-20-generic but sounds like begging for big trouble.
Is there a clean, official way of doing this? I looked and I couldn't find anything.
For the .deb files, I'm moving them from my laptop to my desktop with a USB stick.