file format migration

n. (see format migration)