Probably no blogging today (except for this, of course). Too much work to get done.