And fixed the headers from wikidot to markdown.