We need to migrate our existing multisite WP install to a new server in order to support PHP 5.3+. The issue, however, is that we can't seem to find documentation on how to move a multisite install. Even http://codex.wordpress.org/Moving_WordPress isn't very detailed. Is it really as easy as doing a database dump, changing the server url, and copying the files over? Has anyone had experience doing a migration between servers?