extract_proofs: update experiments table
extract_proofs: comment-out appendix