@frogtosser There's something very wrong with our education and culture that Harvey Milk is such an unfamiliar name to many US folks.