In fact, /usr/share/applications/defaults.list seems to be a symbolic link to /etc/gnome/defaults.list, so it shouldn't matter which one you edit. Indeed, you may not need to update-mime-database or reboot. I did those, and it worked, but it could have worked without.