Rename *.txt to *.rst for nice Github presentation