Oops… just accidentally deleted the last two [manually posted] entries now that Blogger is up and running again. The first one was a link to this, and a second one was a link to this.