Renamed the file

I forgot to do so in 697aa49, but the Markdown code was still
interpreted.