Yes, I even added --purge to gain an extra notch in the process, but it all fell 37MB short in space. The next alternative is to shrink /home and expand /boot, but (2) I would have to do it via an USB booted Ubuntu, but (3) my SSD has LUKS, so I don't know how gparted would deal with it. I feel the risk of losing some data... I do have backups, but (4) not the time nor the patience to go through all this.