For short texts, I'd agree. For such a lengthy document, I prefer without .undent. Just a matter of taste.