Comments.
Add anchor tag for the sample proofs section of the Prooftoys introduction page.