Oh, indeed. I misremembered then. Seems to be that way in my ancient version alr...

		ygra on Oct 25, 2022 \| parent \| context \| favorite \| on: How the clipboard works Oh, indeed. I misremembered then. Seems to be that way in my ancient version already as well.