It seems it's on a seperate school relation as "name" currently. It may be better to add it as old_name (or addr:housename), the school area should not be duplicated.
https://www.openstreetmap.org/relation/12255332/history