change extension because I don't like the markdown representation in github