[Fenichel]

Also, hidden in the details is that the predefined PP share is using WORKGROUP as the workgroup name. This is the default workgroup name for Windows but if you setup Window with a different name then the PP share will not show up until both names are the same..

That's the issue. For security reasons, I don't use a workgroup. I will think about establishing one (named WORKGROUP, of course), but then I'd need to systematically unshare lots of folders, or make my LAN more secure. It might be worth it.

Thanks for your help.