Comment: Rising tempos and the role of social media in electronic music