Spotify: Reduce the Amount of Hard Drive Space Used by the Cache