Michael Albinus <michael.albinus@gmx.de> writes:

> That would be great!

Here's a first tentative.  It's probably naive though, as there might be
some corner cases I didn't think of and I'm new to file-handlers.