Is there an easy way to add frame numbers to the output video? I looked at the ffmpeg filters webpage http://www.ffmpeg.org/ffmpeg-filters.html and didn't see anything, but it's so long I had to only skim it. I'd like to add numbers to the output video 000000-00nnnn. Are there any filters which do this?