Right after they sealed the huge deal with Spotify? Seems like a near-term shutdown is unlikely.