the .org extension was replaced by .html (so breaking these external links)

the .org extension was replaced by .html (so breaking these external links), just replace by .org/ seems to work around this.
Merge pull request #143 from blue-prawn/master

fixed broken links in IDEAS.org (GitHub bug).
Wrap IDEAS.org links for Emacs rendering.
Merge branch 'publish' of github.com:ocaml/ocaml.org into publish