tutorial: change file extention of tutorial text