Fix some mediawiki formatting troubles on workshop pages

(by converting them to markdown)