How to deal with my man's female friend who clearly likes him!?

[M]

My boyfriend and I have been dating for 8 months, and we get along very well. We are both 23 years old, and serious about our relationship. We're also mature enough to accept and understand our friendships with former love interests as long as we aren't flirtatious with them, and they're aware that we're committed to one another. About 2 months ago, he told me about one of his female friends, and how they used to like one another - and how she recently found out about him dating me. He said, she's been acting a little weird around him since then, but he doesn't care, and she needs get over it.

Nonetheless, ever since she found out about us - she's been all over his facebook/instagram. She'll be the first one to comment on every post, and picture. If he posts a picture of himself with his male friends, she'll be like "can I join you guys?" etc etc. My boyfriend responds to her with very dry answers; however, that doesn't stop her from continuously bombarding his profile. I know I shouldn't let petty stuff like this on Facebook and such get to me; but I think it's pretty clear that she still into my boyfriend. Whenever I read her wallposts, I end up getting frustrated with my boyfriend. How do I deal with this?