Four books in the Girls Who Code book series, slim middle-grade novels infused with lessons about life and programming, were banned in a Pennsylvania school district, according to reports earlier this week from Business Insider, Newsweek, The Guardian, and others. The articles circulated widely online, all citing a …