And I don't know why "borer" isn't a better name for it.
"The Doers"
William John Hopkins
They had great thick chisels and heavy wooden mallets in their hands, and there was a big bit, or "borer," as the little boy called it, lying on the ground between them.
"The Doers"
William John Hopkins
"Well," he remarked, "I probably look very much what I am-a played-out borer of headings and builder of dams, who has just now everything against him.
"The Greater Power"
Harold Bindloss W. Herbert Dunton