I made a very dumb mistake. I was very tired, and wanted to delete the recently made photo. I went to Gallery (the GOS-supplied app), saw the pic, selected it and clicked the trashcan symbol. I was surprised to see the deleting took a while. But after that, I realised that the pic I selected, was not the photo itself but actually the whole album 'Camera'. Which is now deleted.
There is something to say about the Gallery app: with a mass-deletion action, maybe something like 'this will delete xxx photos, are you sure?' would be great, and/or a section where recently deleted items are kept for maybe 30 days or so. But that won't help me now.
Is there a way to undelete photos? I have put the phone in airplane mode immediately. My laptop is Linux. I found the PhotoRec software, for undeleting files on any kind of drive connected to the computer. I am worried it won't do the right thing, as the encryption of the files might make them unfindable. Does anyone have experience with undeleting files on a GOS phone?