pretty quiet week so far. incidentally, next week is election week in most of the US, so don’t forget to vote on November 7th (and vote early if you can–my ballot just has to be dropped off)