A quick Python script to sync the two formats. Not fully done yet.