Include resizing encrypted partition in "Reflashing the phone" section
https://developer.puri.sm/Librem5/Development_Environment/Phone/Troubleshooting/Reflashing_the_Phone.html should have steps to resize the encrypted partition as well.
Currently it is only in https://forums.puri.sm/t/tutorial-full-disk-encryption-on-librem5/13189/31