Important note: Shrink the Windows partition from within Windows!
When I did it in Linux Mint during install, Windows did not recognize those changes and thought its partition is still as big as it used to. Then soon I was hit with “Repairing drive C:” which screwed up the Linux Mint install (not the bootloader).