Rename txt to rst