Okay. So, the good news is: my website is basically working as intended.
It uses coqc/coqdoc to render Coq files, Emacs for org-mode… and eventually it will probably uses pandoc to render markdown+lhs files.
Thanks to soupault, I glue everything together.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!