I actually found the whole bootloader and how to dual boot thing a bit non-intuitive and generally unclear as to what I should do. But maybe that’s just me. In the end, as it was a spare laptop, I just went full Linux Mint, reasoning that I can always reinstall Windows later…