more edits to the opam pinning post