Edinburgh International Film Festival diary