This page is no longer maintained, go to https://help.vivaldi.com/article/html5-proprietary-media-on-linux/ for help