Many urchins do indeed eat coralline. I've observed them in action, both with a diadema urchin and a tuxedo urchin. However, they tend to eat a small patch, move, eat a small patch, move...roaming all over. The tuxedo urchin had only cleared very small spots, not noticeable except when it did...