Re: [math-fun] 7 earth-size planets identified in orbit around a dwarf star