Docs inconsistency: "Extract text from a PDF" example closes output file but not PyMuPDF document

[dyp1109]

On Extract text from a PDF, the example opens both a PDF and an output file:

import pymupdf

doc = pymupdf.open("a.pdf") # open a document
out = open("output.txt", "wb") # create a text output
for page in doc: # iterate the document pages
    text = page.get_text().encode("utf8") # get plain text (is in UTF-8)
    out.write(text) # write text of page
    out.write(bytes((12,))) # write page delimiter (form feed 0x0C)
out.close()

Only out is closed, doc is not. This patterns repeats across most examples on the pages, except for the last few sections redacting-content-from-a-pdf, doc is closed at the end.

import pymupdf

# Open the PDF document
doc = pymupdf.open('test.pdf')

# Iterate over each page of the document
for page in doc:
    # Find all instances of "Jane Doe" on the current page
    instances = page.search_for("Jane Doe")

    # Redact each instance of "Jane Doe" on the current page
    for inst in instances:
        page.add_redact_annot(inst)

    # Apply the redactions to the current page
    page.apply_redactions()

# Save the modified document
doc.save('redacted_document.pdf')

# Close the document
doc.close()

Should we adding close() to the examples to make the page consistent? As the current example may imply that only the output stream needs to be closed. Happy to open a docs PR if that would help.

[jamie-lemon]

@dyp1109 yes - what you explain makes sense please create a PR :)