I’ve been having kind of a shitty morning, and I was feeling a bit ragey, but then I found out that a colleague of mine died just this morning. Now I just feel sad, and also extremely grateful that my problems are so very petty by comparison. RIP, Steve. You were quite the character, and you’ll be missed.