A pipe joint came apart (output from kitchen sink, dishwasher, washing machine) so for quite some time the water has been going into the crawl space (not sure how long).
We'd noticed a smell and assumed it was clogged drains, used the usual drain cleaner, then today did some detective work...