It is working again.
Should it be safe to update Woocommerce? I thought I did it before but it tells me that there is an update available for both Woocommerce and for the Woopress theme.
