While I’m vacationing in the beautiful Azores, I wanted to film some Tai Chi videos. Anyone have tips, tricks or software recommendations (linux or windows)? My camera does 4k video but I don’t have a microphone. Thanks! 😄