[dang]

Font size is useless; let’s fix it (2021) - https://news.ycombinator.com/item?id=35929362 - May 2023 (8 comments)

Let’s fix font size - https://news.ycombinator.com/item?id=26633148 - March 2021 (347 comments)