Re: require-hard-newlines to use newline

[Richard Stallman]

    First, recall that soft newlines
    are equivalent to spaces, so fill-paragraph can delete a soft newline or
    replace it with one or more spaces.

                                        Now if you have a paragraph

    foo foo\n
    bar bar\n
    \N
    foo bar\n
    ...

    where \n denotes a soft newline and \N a hard newline, then it is refilled 
to

    foo foo\n
    bar bar\N

That seems to be replacing \n with zero spaces, not with one space.
Is it correct?

Anyway, if it is a fact that both of these newlines are normally
hard, then it seems to me that there is no way of telling
whether the user wants a hard newline or a soft one
when require-final-newline adds a newline.
A user might save the file with an unfinished paragraph,
then go back to writing more of it.

Perhaps use-hard-newlines should inhibit the effect of
require-final-newline.