How to clean up full /boot safely?

Tue Feb 13 01:13:00 UTC 2018

On Mon, 12 Feb 2018 21:41:33 +0000, Colin Watson wrote:
>I certainly wouldn't argue that a separate /boot is always wrong.
>[snip] I do think that it causes a different class of problems, some
>of which prove to be difficult in their own way for users to deal
>with, and so it's worth trying to avoid them in more situations than
>has traditionally been the case.

That is carefully worded :). Full ACK.