Stefan Rank wrote:
> (It would be nice to get `path`(s) easily from a `file`, at the moment
> there is only file.name if I'm not mistaken).
When files are opened through a "path" object -- e.g.
path('name').open() -- then file.name returns the path object that was
used to open it.
-Peter