Remove mj_makeEmptyFileVFS and mj_findFileVFS from MuJoCo API.

PiperOrigin-RevId: 645393666
Change-Id: Iabe939c88f60b80dce20f84c7ff9a6396717cc84

src/user/user_vfs.h

@@ -27,17 +27,17 @@
 extern "C" {
 #endif
 
-// initialize to empty (no deallocation)
+// Initialize an empty VFS, mj_deleteVFS must be called to deallocate the VFS
 MJAPI void mj_defaultVFS(mjVFS* vfs);
 
 // add file to VFS, return 0: success, 1: full, 2: repeated name, -1: not found on disk
 MJAPI int mj_addFileVFS(mjVFS* vfs, const char* directory, const char* filename);
 
-// deprecated: use mj_copyBufferVFS
+// deprecated: use mj_addBufferVFS
 MJAPI int mj_makeEmptyFileVFS(mjVFS* vfs, const char* filename, int filesize);
 
 // add file from buffer into VFS, return 0: success, 1: full, 2: repeated name, -1: failed to load
-MJAPI int mj_copyBufferVFS(mjVFS* vfs, const char* filename, const void* buffer, int nbuffer);
+MJAPI int mj_addBufferVFS(mjVFS* vfs, const char* filename, const void* buffer, int nbuffer);
 
 // return file index in VFS, or -1 if not found in VFS
 MJAPI int mj_findFileVFS(const mjVFS* vfs, const char* filename);