After realising that the anti-covid liquid that had saturated my delivered-to-Shanghai Mariner had not all been washed off by a quick shower, I put the jacket into a pillowcase and cold washed it for 15 mins without any detergent and then air-dried it. The Vicenza feels much as it did before, just without the slight residue. Questions are: is the washing machine likely to have damaged it (and if not... why not), and should I do more than just give it a thin coat of Renapur?