Unfortunately, my computer crashed on Thursday (the second time in a year). I hope to get my MBP to a service centre today; but the centre will have to reload OSX, which means all my data will be lost. A corrupted download of OSX may be the culprit, but I am not sure. Anyway, normal service will be resumed as soon as possible….