rename .txt to .rst for nicer syntax highlighting