Never fold \end{document} (solves #116)