Spotify has no export button. This Python script pulls your whole library through the API and writes it out as JSON and CSV.