Here are the notes we use to write this blog.