On 4 Mar 2016 9:15 am, "Michael Heerdegen" <michael_heerdegen@web.de> wrote:
> I just defined that because it made sense for defining
> `stream-of-directory-files'.  Maybe you have a nicer idea for reaching
> the same goal...?

Not at all, I was just curious. :-)
Thanks for explaining.