How do I manually migrate a site?
You likely don't need to change anything at all. Just move the folder and clear caches. Maybe you need to change the path in settings.php but only if you hardcoded it there before.

The instructions you found are for Drupal 6 and changing the path is no longer necessary unless you manually changed it to something else than the default location before.