Well, not really, but...
I put the missus' mildly grubby GoreTex jacket through the machine yesterday: once with Tech Wash, once with TX Direct. All appeared well and said jacket is currently hanging up to dry above a radiator.
She put her beloved pale cream Bergans woollen hoody through on a wool wash this morning and it came out spattered with small lumps of black gunk. We checked the door seals and, though there was a small amount of debris in there, it didn't seem to match the stuff on her hoodie. We then noticed that the back of the drum had a thin sticky coating on it, which you could easily scratch off with a fingernail. Further inspection showed the same on the door, though not around the inner circumference of the drum which seemed a bit odd.
All we can deduce at this point is that the TX Direct left a deposit on certain surfaces within the machine, which then got transferred to her cardi during the wool wash. I just checked the bottle of TX Direct and it says that the best before end date is January 2024, so it maybe was getting towards the end of its usable life, but was still nominally within it.
Has anyone else come across this kind of thing?
I've put the machine on a 60 degree wash cycle with a dose of ordinary detergent, on the basis that we're always warned that detergent will kill DWR so it might shift the deposit in the washing machine as well.
The good news is that she has been able to pick the gunk off her cardi, though it was a time-consuming process that she understandably doesn't want to have to go through again.