A lot of universities have "schools" too e.g. business school. But we wouldn't call them school students either..
The point more that if one person can apply "pedantry" with disregard for convention and context, then so can I.
> Kacper Surdy, a 20-year-old economics student at Durham University
Only the HN submission uses the phrase 'college student'.