Re: [math-fun] [EXTERNAL] Interplanetary microbes?