A cross-platform audio player for serious music listeners