It would be awesome if the export feature included the multiverse ID from Gatherer. I'm sure it's well known what it is, but just in case: Avacyn, Angel of Hope would be 239961, seen at http://gatherer.wizards.com/Pages/Card/Details.aspx?multiverseid=239961