Hur importerar man Mongodb ObjectId från CSV-fil med mongoimport?

För alla med det här problemet som försöker infoga ObjectIds från JSON - det ÄR mycket möjligt med lite modifiering av befintliga data.

Byt ut:

{ "_id" : ObjectId("5143afc66d44e1ceb372121e"),
  "student_id" : ObjectId("5143af326d44e1ceb372121d"),
  "name" : "II-4" }

Med:

{ "_id" : {"$oid":"5143afc66d44e1ceb372121e"},
  "student_id" : {"$oid":"5143af326d44e1ceb372121d"},
  "name" : "II-4" }

Använd bara ett reguljärt uttryck för att ersätta ObjectId-omslutningen.