Vivaldi の「ページのソース表示」は右クリックメニューの「開発者ツール」の中に押し込まれてしまっているのか。
実情はともかく、本来 HTML ソースは開発者に限らず、非エンジニアを含むすべてのユーザーのために閲覧できるべきであって、「開発者ツール」の一員ではないはずなんだけれど。