3.0 proof pt5

Another block of proofing and API doc inlining
A future improvement is moving this section to a ReST and APIs chapter. I think it is quite hidden where it stands now