formalize migration doc