eddum

I’ll go with just unlucky.

After backing up the files & db in the failed state as well I deleted woocommerce as a plugin. Seemed to only delete the files, not any tables or content.

Made a clean reinstall which was successful and seems to have picked up all the existing settings & content as before.

Phew.