And yes, it works. :-)

Side-note: at first, it did not work after applying the patch and
running "make" in the emacs directory (reproducibly!), a problem I've
had before somewhere up the thread.  The original bug was there again.
I placed a watch on inhibit-auto-revert-buffers which revealed that it
was set by the computation for all marked files in order to present them
at the yes-or-no-p prompt.  But it was not set during the actual
processing!  I had to manually delete the dired and autorevert ELC files
and "make" again.

Does anyone have a clue why?  Does a recompile of a changed file with
existing ELC not produce it from scratch?

Bye,
Tassilo