This is an automated archive made by the Lemmit Bot.

The original was posted on /r/hackernews by /u/qznc_bot2 on 2023-09-22 17:00:02.