You have absolutely right, @doctorcrypto - they are called earwigs
(https://www.whatsthatbug.com/2017/07/27/european-earwig-3/)
I also remember them as younger, when I camped a lot and they were in my sleeping bag (no matter how much the sleeping bag was shaked, there were always a couple of them left) 😂