Checkpointing recent additions
Theorems page, suggestions pages.