Fold the prelude
Fold the document as a whole
Tidy up folds in document