Is Loreto College an 11-18 School/College or an 18+ university?

This changeset changed it from amenity=school -> university
https://www.openstreetmap.org/changeset/48855371

however the department for education has it as a school for 11-18 year olds, which would be tagged as amenity=school

https://get-information-schools.service.gov.uk/Establishments/Establishment/Details/138106