Re: patch for Dired second header line info

[Richard Stallman]

      files 420/694 space used 19646 available 56456000

I think

      files shown 420 in dir 694 their size 19646 available 56456000

is cleaner, for the usual case where the buffer shows one
directory (or a subset of it).

Does the "files shown" get updated by all the Dired commands
that alter which files are shown?  If not, I think it is misleading.