@b3ce1cc6 Ouch! A couple of hours of swimming could be helpful, now.
@975ab9ab yeah a shower did not do the job