This is an automated archive made by the Lemmit Bot.

The original was posted on /r/todayilearned by /u/SuperPants73 on 2023-09-05 00:08:16.