Add file extension

Github can't parse markdown if it doesn't know what kind of file it
is...