I didn't use all of these files but I cannot be bothered to wait for VLC Media Player to load forever just to make this file a bunch of kilobytes smaller and iirc I cannot delete them without my PC crashing.