Description: Use Debian package for Leaflet & jQuery.
Author: Bas Couwenberg <sebastic@debian.org>
Forwarded: not-needed

--- a/doc/developersmap.html
+++ b/doc/developersmap.html
@@ -3,18 +3,13 @@
 <head>
   <title>Developers Map</title>
   <meta charset="UTF-8">
-  <link rel="stylesheet" href="https://unpkg.com/leaflet@1.9.4/dist/leaflet.css"
-  integrity="sha384-sHL9NAb7lN7rfvG5lfHpm643Xkcjzp4jFvuavGOndn6pjVqS6ny56CAt3nsEVT4H"
-  crossorigin="" />
+  <link rel="stylesheet" href="leaflet/leaflet.css"/>
   <style type="text/css">
   body {  padding: 0; margin: 0;  }
   html, body, #developers-map {  height: 100%;  }
   </style>
-  <script src="https://unpkg.com/leaflet@1.9.4/dist/leaflet.js"
-  integrity="sha384-cxOPjt7s7Iz04uaHJceBmS+qpjv2JkIHNVcuOrM+YHwZOmJGBXI00mdUXEq65HTH"
-  crossorigin="">
-  </script>
-  <script src="http://code.jquery.com/jquery-2.1.0.min.js"></script>
+  <script src="leaflet/leaflet.js"></script>
+  <script src="jquery.js"></script>
   <link rel="points" type="application/json" href="../resources/data/contributors.json">
 </head>
 <body>
