[polyml] Re: basis/Net* and basis/*Sock* modules (polyml digest, Vol 1 #26)