Shrank the Windows partition and grew the Linux partition on the old laptop.
Shrinking a Windows partition is a giant pain.
a Schelling point for those who seek one