Windows installer for VLC media player version 3.0.11, 64-bit build, about 40 MB. It is not repair documentation but a general utility; on a bench it is handy for…