Okay, here is an update. My previous thought about the ignore option did not work after all.
I found the conversation access button - it's the envelope icon in the top header bar.
Clicked on that and got into the conversation list. No "Leave" button there, so I clicked on the date-link on...