OCaml where I didn't expect it

Reading this warning on PGP keyservers, it appears that they are coded in Ocaml!

Yet another example of a proof of concept that went directly in production… That’s a chance that it was coded in Ocaml, maybe an explanation of its longevity.

One question though: is the Yaron Minsky referred in this document the Yaron Minsky?

There was already a post about this here: