Improve documentation related to mjSpec element deletion.

PiperOrigin-RevId: 775677830
Change-Id: I02e51b57956b0b6a20c654326b54e001b498dd96

src/user/user_api.cc

@@ -340,7 +340,7 @@ int mj_copyBack(mjSpec* s, const mjModel* m) {
 
 
 
-// detach body from mjSpec, return 0 on success
+// remove body from mjSpec, return 0 on success
 int mjs_delete(mjSpec* s, mjsElement* element) {
   mjCModel* model = static_cast<mjCModel*>(s->element);
   if (!element) {

src/user/user_api.h

@@ -103,7 +103,7 @@ MJAPI mjsLight* mjs_addLight(mjsBody* body, const mjsDefault* def);
 // Add frame to body.
 MJAPI mjsFrame* mjs_addFrame(mjsBody* body, mjsFrame* parentframe);
 
-// Detach but not delete object corresponding to the given element, return 0 on success.
+// Remove object corresponding to the given element, return 0 on success.
 MJAPI int mjs_delete(mjSpec* s, mjsElement* element);