MediaMonkey supports storing multiple artists in the "song artist" tag separated by a / or ;, and nicely shows such songs under both artists, which makes it much nicer than tacking "feat." on to the song name. Are there any music players for either iOS or Android that support that? Both iTunes and Android's default media manager treat the entries as one massive artist name.