Documentation: Fix wrong contact/user macros in migration docs.

Fixes #6362