You mean someone called it by a different name nearly a century ago. It was a n****rhead rock, which wasn't even so much a nickname as it was a descriptor in those times. Having stopped using the language of the past, these students courageously decided to just destroy any part of reality that was once called a bad word, and after they finish off darkly colored rocks, they'll be after
several species of plant, nautical bollards, and certain clams or oysters of the same name.
Though ironically, the last entry on that dictionary list of things referred to with the same term as this rock are activists for Black political rights in America, so along with this rock, the next logical step is to remove themselves from the campus rather than whatever racists might be off spouting slurs willy-nilly.