You’re right. Somehow it is cached in my system but if you visit the library URL
http://download.processing.org/contribs
you can see the Video Export library very much gone. I don’t know why.
You can still find it at https://funprogramming.org/VideoExport-for-Processing/