Update doc of gedit_document_get_file()