[tde-users] Re: As long as we're here . . .

. . . I have in my /boot directory four kernels -- the running one (5.4.0-80) -- and some rather hoary ones: 4.4.0-124, 3.13.0-147, and 3.13.0-126. i do not currently have nor do I imagine ever having need for the last three. Thought I'd get rid of 'em, but they do not show up in Ubuntu Cleaner or anything else capable of sending them to the bit bucket. So. Anybody know any reason I'd want to keep them and, absent such a reason, anybody know a quick and complete way of deleting them? Used to be they'd always at least show up in Synaptic, but not this time.