We’ve already got a .AVI (which, frankly, i avoid like the plague because of its large file size) vid file possible, so what about .mp4 too?
Personally, i already have a very good solution for this (ScreenToGif). So, it’s not really high up in my feature request. Just something i realized PMNG doesn’t have - a relatively popular modern vid file format out of the box.
Cheers!