The Android emulator when doing a screen recording can only select between .gif and .webm, at least on my system. So especially when working on an Android app I

The Android emulator when doing a screen recording can only select between .gif and .webm, at least on my system. So especially when working on an Android app I would expect that, yes.