Worked like a charm

Installed it, created a backup, downloaded the backup (Export), went to the new WP site and installed the same plugin, clicked Import, and voila, the site was up and running at its new location. (Of course the import took a while because it was a 275 MB file.)