On Fri, Oct 22, 2004 at 06:47:10AM -0400, Richard Stallman wrote:
> Maybe hide-body should always leave text before the first heading
> unchanged.  Maybe that text should never be hidden.  Does anyone
> think it is a useful feature to hide text before the first heading?

Since both you and Stefan seem inclined to think that hiding text
before the first heading is the wrong thing to do (and I agree),
here's a simpler patch that fixes the bug rather than making the new
behavior optional.
 
> By the way, please use diff -c to make patches.

OK.