Oops, I apparently deleted this stuff without updating my blah. This is a placeholder pending my getting my blah post updated.