Rename file

It's formatted in Markdown anyway, so the name might as well indicate as
much.