How do I exit this thread? Thank you Sir Moolenaar for this journey.

		cellover on Aug 5, 2023 \| parent \| context \| favorite \| on: Bram Moolenaar has died How do I exit this thread? Thank you Sir Moolenaar for this journey.