I have expanded this note into a blog post.