Edits to the 'opam pin' post.