I missed this fact sheet when it came out earlier this year, with some quick demographics about the federal workforce, broken out by reported gender & race.