Ironically, the patch installer crashed when I tried to install it. I waited for half an hour (but only because the window said "allow 20 minutes for install"), then I killed the installation, which caused F3 to be launched. I have no idea if the patch worked, though.