Win10の1903や1909のの環境の人で
エクスプローラー上で、

oggファイルが削除されない、移動できない、リネームできない
って症状の人いないかな?

どうやらMS Edge上でoggを鳴らす用の
「Webメディア拡張機能:Web Media Extensions」というのがこの症状の要因らしい

幸い対処法があるようなので、
もしこの症状が手出る人は以下の方法試してみるといいよ

・スタートメニューを右クリックから WindowsPowerShellを管理者モードで起動する

・PowerShelではコマンドのコピペが可能なので以下をコピペで貼り付けて実行する

  Get-AppxPackage *Microsoft.WebMediaExtensions* | remove-appxpackage

・これで原因となってるWebメディア拡張機能がアンインストールされる

・最後に念の為PC再起動して完了

自分はこれをしたら症状の改善がみられただけでなく、
ユーザープロジェクト内のサウンド関係のフォルダ内のoggの読み込み速度が劇的に改善した
ちなみに最新の20H2とかでこの症状がどうなってるのかは知らない