Prefer vanilla to Github-flavored markdown

That way, we get better syntax highlighting in yard, and therefore in rdoc.info

Unfortunately, we don't get syntax highlighting in Github anymore.