I found the story. Apparently the little girl was bullied as boys were saying "Star Wars is for Boys!". http://www.cnn.com/2015/08/21/living/bullied-girl-star-wars-feat/
My kids are 9 and 11, and I can say without a doubt that Being a Star Wars fan in elementary school is cool. Kids love Star Wars - these kids were picking on this kid (as a girl) largely because they wanted to "own" the Star Wars Cool. My kids are 9 and 11 - both are HUGE Star Wars fans. I just got them going on Dr. Who, they're hooked like new meth addicts.
Both of my kids are also geeky, smart kids who are in gifted classes. Both are perfect targets for bullying. To date, no huge issues as we've taken time and care to arm them with the knowledge necessary to deal with bullies. Just two days ago my little boy was bullied by a big (fat) kid one grade above his. My boy didn't take the correct approach, and he paid for it. He got pissed off and threw something at the smart-ass fat kid, then got to sit on his ass for the next two hours. So I spent about an hour that night going over what happened, and how he could have taken care of this. His mistake was getting pissed, so the bully won on two fronts. First off he got a rise out of my boy, secondly the bully got to watch my boy get in trouble. So after going over this for about 20 minutes, we literally role played for another 30+ minutes. Not Star Wars role play, but kid vs. bully role play. He's not quick with come backs, so we concentrated on how to dismiss this kid's bullshit. We settled on bored "really?" stare, followed up with a dismissive "whatever dude". We practiced and practiced, and he got it down pat. The next day, just yesterday, it happened again. My little boy came home SO excited! It worked! The bully tried to dismiss my son's lego creation (after school care where they can play), he hit him with the glare, gave him the "whatever dude", and ignored him. Bully tried again, my boy just looked at him, gave him another "you're boring me" stare, and looked away. Bully disengaged.
Sorry for the rant, but having kids this age this subject is near and dear to my heart. I was freaky tall as a kid and was barely ever bullied. Kids DO still bully today, don't think that's changed.
The main point is kids will be bullied, it's up to us parents to equip them with skills to deal with these ass holes.