Sorry about this file, some of the formatting stuff got through, but it is not that much so for now I am leaving it as is. (I could fixed that locally and rewrite this private branch, but I am afraid it would mark some or all of the comments as outdated and that would make the review harder).