Толковый словарь Кузнецова
гробокопа́тель
ГРОБОКОПАТЕЛЬ -я; м.
1. Устар. = Могильщик.
2. Ирон. О человеке (особенно учёном), занимающемся кропотливым изучением прошлого, в том числе фактов, подробностей, не имеющих существенного значения.
гробокопатель