Hi, finally, what should I use as extension for the ocamldoc-generated man pages ? Is .3o ok ? Release 3.07 is coming soon, and I'd like to fix this. friendly, - Maxence