Vera Rubin Was a Pioneering Female Astronomer. Her Federal Bio Now Doesn’t Mention Efforts to Diversify Science.