Code tags in post changed to Pygments, which is the official syntax highlighting in our blog.