0001-Do-not-embed-external-video.patch
0002-Use-local-image.patch
0003-Drop-external-iframe.patch
0004-Drop-external-fonts.patch
0005-Use-local-highlight.js.patch
0006-Point-to-homemade-autoload.php-in-docs-and-examples.patch
