It turns out there is ‘a new topic’ (as in, newer than this one, running parallel), not with a howto, but with a post where @Vinz points to the Raspberry Pi forum with a tutorial on expanding diskspace.