Full threaddmitrybrant·Just a nitpick, but wouldn't it be simpler to say "extragalactic planets" instead of "planets in extragalactic galaxies"?That's like saying "life on extraterrestrial earths."View on HN