Jim, from my own experimentation, Sarsen+Chalk+a grinding powder gets you an amazing shine on both the sarsen and the chalk, in no time, whereas merely grinding sarsen with a stone, that liberates a much less fine powder, gives much less shine.

So maybe it depends on what they were grinding or polishing, and how? I've not heard an answer to this.