[throwaway1959]

My opinion of Jeff Dean has risen significantly after this. At least, he had guts to correct the mistake they made in her hiring.