I know people at Microsoft, who have relatively clear policies on how they power the bajillions of servers they run & I know people at Github, who pre-acquisition, didn't. Do MS policies apply now? From hazy memory, github servers used to run on coal in Texas. Still the case?