Blender Texture Paint with animated brushes

[mholder]

There is a Blender addon called "Animated Texture Brush" available from Blender's official extensions.

   

It let the user open an image sequence, where the name of the images are something like:

brush_01.png
brush_02.png
brush_03.png
.....

And then the brush randomly paints the tip in the stroke.