GITBOOK-2375: Turn off page indexing for Migrator as per Manoj's request.

Author: mariadb-stefan-hinz

server/server-management/install-and-upgrade-mariadb/migrating-to-mariadb/moving-from-mysql/mysql-to-mariadb-migrator/README.md

@@ -3,6 +3,8 @@ description: >-
   The MySQL to MariaDB Migrator automates end-to-end MySQL to MariaDB migrations
   — schema, data, users, and validation — in four selectable modes.
 hidden: true
+noIndex: true
+noRobotsIndex: true
 ---
 
 # MySQL to MariaDB Migrator