Почему насекомое древоточец получает такое название?

Название «древоточец» связано с тем, что личинки многих видов жуков питаются древесиной, прогрызая в ней ходы. xilixgel-center.ru en.wikipedia.org

Также есть мнение, что название «древоточец» (другое имя — домовой дровосек) связано с тем, что насекомое наносит вред деревянным постройкам, из-за него дом может превратиться в гору трухи, как будто его рубили топором. vk.com