So apparently you cannot online-shrink an ext4 partition, and the procedure to follow is still "umount, fsck, resize, DELETE AND RECREATE through fdisk or parted, reload partition table, remount" which is absolutely bonkers but sure enough it did work
Follow
@fasterthanlime I always size them generously for this reason. Been bitten so many times by Linux's growing /boot requirements.
