Merge doc fixes from 0.13.1 into 0.13 branch.

Review by those interested. ( @cunei / @eed3si9n / @harrah )