debian-platform.patch
doc-privacy.patch
disable-autoapi.patch
