“The more interesting question around racial representation is what Project Hail Mary does with its white male lead.”