Re: CDR: Re: online copy of Vinge's True Names