Scribus Python: How to set bleed during PDF export

When exporting a PDF from Scribus using the Python API, this is how to set the bleeds

Set the bleeds manually

This is how to set the bleeds manually in mm:

import scribus
PDF = scribus.PDFfile()
PDF.file = "output.pdf"
PDF.bleedt = 3.0 # mm
PDF.bleedb = 3.0 # mm
PDF.bleedl = 3.0 # mm
PDF.bleedr = 3.0 # mm
# [...]
PDF.save()

Use the document bleeds

If you can rely on the document bleeds being set correctly, you can use them:

import scribus
PDF = scribus.PDFfile()
PDF.file = "output.pdf"
PDF.useDocBleeds = True
# [...]
PDF.save()