Commit an existing MagmaCollection with index

[Hilaire Fernandes]

I don't remember about that:

Is it fine -- regarding the index -- to first populate a MagmaCollection 
with indexed elements, then commit the MagmaCollection in the database?

I am tempted to think yes.

Hilaire