Thanks to both for very helpful advice. I’m still struggling with the learning curve on upsizing the /home partition, but meanwhile a non-flatpak version of GIMP 2.10.20 turned up in the Zorin software library, so after deleting a few videos and other space-hogging files I succeeded in installing the new GIMP.