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