Richard Stallman <rms@gnu.org> writes:

>     > lazy
>
>     I wrote documentation for this, but it was apparently never checked
>     in.  See below.
>
> The reason is that the name `lazy' is not suitable for its meaning.
> I want the name to be changed before we document it.

'lazy' was the name you suggested.