Interesting that there’s no .close() method for files. So files are just closed when they’re GC’d?
Files are only open during write and read, and always closed in the interim.
Good point–no streaming nor incremental read/write.
We do plan on adding streaming APIs, so at that point we’ll have to add a close for those operations.