RPi + sdcard + ext4: how to resize root partition

[jeff47]

I found it, just took me some tries to get my search terms right: [HOWTO] Resizing root partition on x86 (March 2023 edition)