how do i rename the video file after i export it?
either try another file explorer if you are not familiar with the default one (usually either a "right click" or long hold to get the file rename option).

my personal favorite since it is double-windowed is total commander or you can try that ES file explorer (ad-supported maybe)...