No, it's really an OK thing to contact them. This is a HUGE place, with thousands of employees, hundreds of departments, and dozens of locations - it's as if they might as well be in different companies.
And FYI, our HR department's handling of resumes is terribly inefficient. Everyone across the university except them seems to know this. They don't even look at resumes. They have everything scanned in, or you cut & paste your non-formatted resume into the internet form, and for every position all they do is search for key words. No one I know has gotten a job in the past 12 months through HR - always through contacts, then interviews, then the department tells HR they found this person.
If my manager found that I was looking, trust me, she'd be happy. On the other hand I don't want to necessarily give her the satisfaction of knowing that she has forced me out - at least not until I give my notice.
DonnaP99