Thanks, Benedikt! I'll just delete them via a script for a while. > Thats caused by a bug in the session manager, which does not execute > the SmDiscardCommand yet. Therefore all those .prx* files produced by > smproxy are left around on save yourself time. Will be fixed soon.