Template to compute left margin of text block
Better handling of Sage output, especially for doctesting
Correct two mistaken default parameters
Implement post-hook for environments, especially for proofs
Turn off embedded knowl content temporarily
Knowlize proofs as default