Renames txt to md, they are nicer on the web.