Well, as is often the case, asking for help was enough to solve the problem.
It seems, and I have just repeated the process to force it to fail, that I got the problem if VersaMail was not configured before my first hotsync after a hard reset!
If I configure VersaMail, the system syncs just...