Thanks for the details, Claudio.
I’m not familiar with VSDC and if it has an auto-sync function to sync up an audio with your video. That would make the opst-processing simpler.
Another option to consider is using OBS on the PC to record the video. You can either use a webcam plugged into the PC or a utility to source the video from your phone. You can set up OBS to take audio input from a variety of sources, which would include the your pedal.
It may take a little tinkering to get it set up but once set up then it eliminates the need to copy video from the phone to PC, render audio from Audacity, and then produce the final video in VSDC.
I went from a process much like you described to using OBS and I think the simplicty of just pressing record and having the video saved without further post-processing has paid off in the long run.
Here a couple of links to Topics with more details: Using OBS with an Audio Interface on Windows for streaming to send to Zoom and Producing a video with phone cam and an audio interface
The first has a lot more detail than you’d require, the extra being about streaming from OBS to Zoom for Community Open Mics (which a few people choose to do though one can just connect camera an audio in Zoom directly should you ever be interested in an OM)