Updated docs for migration DSL