It would be nice if we could specify a file name to the command 'save'. This way we could write plugins that write directly the file