Yeah actually I just checked with the wiki and you are right, the name duplication should be avoided: https://wiki.openstreetmap.org/wiki/Talk:Tag:amenity%3Dschool

My concern was that if you build a route to that school in a routing app, it could route you to a landuse corner that's far away from the actual entrance. But I guess today's routing engines are smarter that that and adding "entraince=main" node should handle that.

As for mapping for the renderer, it's considered to be a bad practice and is frowned upon: https://wiki.openstreetmap.org/wiki/Tagging_for_the_renderer

OSM Data Working Group often reverts such edits.
