As a follow-up to this problem, manually stopping metro before closing the patch solves this problem, but that is not obviously the way to ensure someone will remember to do so every time before closing...
Another correction. This problem is not apparent in pd-vanilla (even though the source is the same) but it only affects the pd-extended. Bizzare...
ico