Thought it would be an easy fix, but turned out it’s not easy.
Chromium only lets us record in .webm format, which is a container format for both video and audio. Unlike .ogg where .ogv is usually used for videos, for .webm there’s no way to distinguish them.
If anyone has good ideas on how to fix this, please let us know, really appreciate it!