Spotify’s layoffs put an end to a musical encyclopedia, and fans are pissed