Hi, thank you for reply.
No, I haven’t found any solution. I marked it as solved, because I don’t think there can be a solution as it would actually be needed for the production site, where however it isn’t possible for me to update WooCommerce for various technical reasons. The current version is 3.8.1