What to do with a full /boot partition?

[matthewbauer]

You should be able to do something like:

sudo nix-collect-garbage --delete-older-than 5d