PyFile: docstrings for File and its mixin