Re: [PATCH v1] docs: migration: remove xenmigr