Yeah, a PITA this time, but OTOH it's probably good to reorder it once and forever with Geppetto. If someone else makes his changes manually he won't probably mess it up. And if someone who likes tooling (it could be me for example) changes it with Geppetto in future again he won't mess it up either since it'll be stored in a consistent way :-)