Proghistbot

This is the code for the original Twitter bot, which ran from before 2017 (when it was first posted to Github) until 2023.