“My experiences have also convinced me that sexual harassment is very rarely publicly punished after it is reported, and then only after a pattern of relatively egregious offenses.”