@gruber Google Drive is a usability nightmare, and it happens to be the most convenient way to share files and file systems with collaborators. What a sad state of affairs.