I had Box files that were not syncing and decided to try logging out of Box Drive and logging back in.  During that process it said something about a sync in progress and wrote a large folder to my desktop called "Box (2023-10-13 12-35)."  When I looked at that folder I realized the files were part of a move, where I was moving an old folder into an Archive folder (to reduce the clutter of so many folders in the Box list).  I had assumed the files would simply be moved on the Box server, but apparently they were all being downloaded and re-uploaded, entirely in the background with no indication that was happening.

I logged back into Box Drive and found that the folder I was moving into was only partially populated and the folder I was moving from was no longer in the main folder list at all, nor was it in the Deleted folder on the web app.

How do I restart the sync (I assume with the folder written to my desktop) to recover the lost files?