“Net neutrality is the principle forbidding huge telecommunications companies from treating users, websites, or apps differently - say, by letting some work better than others over their pipes.”