A new version has just been uploaded, which corrects an error in "The End ... ?" and a spelling mistake in one of the tables.
