Inserting audacity output into video

A recent thread about video editing freeware … https://forum.audacityteam.org/t/what-video-editing-authoring-freeware/9993/9

Just noticed the original poster of that thread had Windows Movie Maker, with which it is possible to re-dub (replace the video sound track), so they didn’t need additional video editing software to change the video sound track.