Hacker News Reader

Might be important to mention (in the title) that Xavier Leroy, is the lead OCaml developer

Not everyone might be familiar with the name

On the other hand, anyone in PL academics should be familiar with his name.

On the other hand there are scores of people not in PL academics that are interested in OCaml. People that might have heard of Reason for example.