I think this is correct, and I've now added addendums to the blog post.