Discussion site status and timeline

[avsm]

In response to a query I have now activated OCaml, Haskell and Coq syntax highlighting for Markdown code blocks.