Update: I recovered the wallet soon after asking the question here, but I don't remember how.
BackgroundSome years ago (2017) I must have found a way to 'serialise' my wallet, because I stored the following in my password manager:
Name: "Bitcoin wallet" Password: (typical generated password) Generation seed: (