EDIT UPDATE: Apparently, from what I just found out, you can produce it as .mp4 and then just rename the file ending to .3gp in Windows file explorer and it's accepted by the phone!
(Really? So what's the point of having a separate ".3gp" format anyway?)
This message was edited 2 times. Last update was at Nov 23. 2019 07:54