Hi, reporter of the story here. From their paper, it looks like they didn't. "We intentionally keep the language introducing the tool [VPNs] vague to avoid political pressure from the school administration."