Convert some VDF files to JSON