My efi win10 partition is only 100mb

As far as I understand, as depicted here:

https://wiki.archlinux.org/title/EFI_system_partition#Replace_the_partition_with_a_larger_one

I can boot into arch linux installation usb and before installing it replace the efi with a larger one? Anyone here done this?