This is an automated archive made by the Lemmit Bot.

The original was posted on /r/todayilearned by /u/WLH7M on 2023-09-12 20:49:31.