0001-Append-uncompressed-JavaScript-libraries.patch
0002-Remove-non-local-images-for-badges-CI.patch
0003-mkdocs-material-disable-font.patch
