I know posts have been sparse the last two weeks. That’s not because of a lack of things to comment upon, but rather a lack of time to comment.  It’s end of semester and the day job (grading and stuff) takes precedence.  Hope to end resume normal posting tomorrow or Friday.