update: the problem is not persistent.
i suspect it was connected with a Microsoft update gone wrong. rolf _______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
