The conditions when it is safe to call movePrimary need to be tighter than currently documented, and we should mention that the other mongos do not know about the change until restarted/flushRouterConfig'ed.

I wrote a draft, here the pull request:
https://github.com/mongodb/docs/pull/1736