Following our discussion, improving OCamlPro's visibility a little bit.

I've tried to be fair and not too invasive. Please don't shout if I failed :)