Address comments from @amirmc and @Chris00 in the opam pin post