I read about not to re-use the patch around the time of my last reinstallation, which was about half a year ago. Better to be safe than sorry about downloading the patch afresh, as I'm pretty much just an end-user. In the end, I didn't use the patch I had re-downloaded but reinstalled both right after one another
.