Windows でスクリーンレコード気軽にとるなら ScreenToGif がよさげ？
名前からしてデフォルトでは anigif 出力なんだけど、WebM 形式にするとエンコーダーを選べて、普通に AVIF 出力ができる。録音はそもそもされないみたい。
macOS だと何がいいんだろうな。Kap なのかな。今度使ってみる。
Kap 非常にシンプルで完璧に使い勝手良いが、デフォルトだと WebM + VP9 か AV1 + MP4 で、パラメータもカスタマイズできないみたい。まぁ VP9 でもいいけども
