Is the US presidential race over? A collection of comments. The consensus seems to be that it is, almost..