VivaldiブラウザでHTML5の動画を見たい

HTML5のプレーヤーが作動しない（ことがある）

先日、新しいWebブラウザであるVivaldiの正式版がリリースされました。Chromiumを用いたブラウザで、過去Operaを開発していた人が独立して作っているようです。
（Vivaldi（日本語版）: https://vivaldi.com?lang=ja_JP）

そんなVivaldiですが使い始めてから、なぜかHTML5プレーヤーが動作しないことがありました。一応、対処法をメモ程度に書いておこうと思います。

対処法

1. URLボックスにvivaldi://pluginsを入力
2. プラグイン一覧が表示されたら、"Widevine Content Decryption Module"が表示されていることを確認
3. 表示されていれば、"常に実行を許可する"を選択して、ブラウザを再起動
4. ここまでで、HTML5プレーヤーが起動しない場合は、プラグインのバージョンが古いもしくは存在しない可能性があります。
5. プラグインのアップデートを確認します。URLボックスにvivaldi://componentsを入力
6. コンポーネント一覧が表示されたら、"Widevine Content Decryption Module"の"アップデートを確認"をクリック
7. アップデートが完了したら、もう一度手順1から順に実行してみる

ここまでで、自分の環境ではHTML5が見れるようになりました。まだまだ新しいブラウザなので参考までに自分の環境での手順を書きましたが、他に良い手段があれば教えてください。

補足

このVivaldiですが、中身がChromiumなだけあって、GoogleChromeのコマンドが大体使えます。（ついでに、拡張機能を導入する際にVivaldiから開かれるのは"Chromeウェブストア"です）
さらに、今回対処法で示した手順でVivaldi://〜と示したコマンドは、Chrome://〜と入力しても問題なく動作します。今までGoogle Chromeを使っていた人は是非試してみてください。