does anyone know how to take batch screenshots (for gifs) in the VLC Media Player 2.2.4? Or even if it’s possible?