The text 3fba16b613d5, as Debian 10 (Buster) shipped it.
FFmpeg filters
ffmpeg-filters(1) on Linux now