Spotify buys Heardle, the Wordle of music