No postings until Wednesday AM because 1) I’ve broken my right hand so typing is horribly painful, and 2) this seems like as good a time as any for site maintenance.