I know we’ve talked about it before (although I’m not sure what was decided), but with the new site coming on quite nicely I would like to discuss this one more time. Right now we have markdown and asciidoc mixed, I think it would be good to choose one or the other. We can convert the documents automatically. So what do you think, Erik Jan