Update: I did discover that in Whatsapp, if you change the notification sound, the first option on the list is "default ringtone" which actually should say "default notification" since is selects the default system notification sound, not the default system ringtone." So, for me, the only real...