No stream today, because I realized it’s Columbus Day, and a lot of people have it off work. I’ll try to make up for it with longer streams this week, provided I can wake up early enough.