Marginal tweaks in the documentation for ORDER BY; in particular point

out the common error that ORDER BY x, y DESC does not mean the same as
ORDER BY x DESC, y DESC.