Side note: I happened to look at the SO "Community activity" widget earlier this week and was quite surprised to see just how far engagement has fallen off. I don't have historical entries to reference but I'm _fairly certain_ there used to be hundreds of thousands of users (if not more) online during the middle of an average work day (I'm in America/New_York) and there are currently ... 16,785.