Couldn't find anything on F-Droid. Was wondering if there even is an open-source video editor available for Android.