Thank you very much.
Update: I can confirm these steps worked for my NanoPi R4s.
I was about to try the steps in this article but I did not want to mess up the partition unique identifiers.
There is also this automated script [OpenWrt Wiki] Expanding root partition and filesystem but I have not tried it yet.