To migrate your database, you will need the following:
Once you have all this at the ready, run the migrator script:
cd server/ pipenv run python3 migrate.py
You will need to enter the URL of the old server as well as the new server, and the name of the old database and the prefix of the new indices.
You will also need to acknowledge the DKIm re-indexing, or deny it and continue with the old document IDs. Re-indexing is recommended if you wish to use shorter permalinks, and is fully backwards-compatible with your previous permalinks.
Migrating may take quite a while. Assume 250 documents can be migrated per second.