Значение слова ВРУБОВЩИК в Новом словаре русского языка Ефремовой

Что такое ВРУБОВЩИК

м. Шахтер, делающий врубы.

Ефремова. Новый словарь русского языка Ефремовой.