> This filter was added in November 2017. 4.0 was the first ffmpeg > release it was included in. Is there a revision history where we can see when new features are added? Michael