Added documentation for the effectful file operations.