See https://news.ycombinator.com/item?id=40872270 - it's a convention here.

		dang on July 8, 2024 \| parent \| context \| favorite \| on: How the continuum hypothesis could have been a fun... See https://news.ycombinator.com/item?id=40872270 - it's a convention here.