<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <div class="moz-cite-prefix">On 4/17/2021 12:41 AM, Andrea

      Giudiceandrea wrote:<br>

    </div>

    <blockquote type="cite"

      cite="mid:1618641678360-0.post@n6.nabble.com">

      <pre class="moz-quote-pre" wrap="">David Stri wrote

</pre>

      <blockquote type="cite" style="color: #007cff;">

        <pre class="moz-quote-pre" wrap="">you can examine the source code for the page and find the

    geojson files and download them to your disk and then convert them

    to shapefiles.

</pre>

      </blockquote>

      <pre class="moz-quote-pre" wrap="">Hi,

it seems examining the source code of the page is not needed.

The geojson data file is directly available on the page, linked in the "Data

Source" section as us-states.js

<a class="moz-txt-link-freetext" href="https://leafletjs.com/examples/choropleth/us-states.js" moz-do-not-send="true">https://leafletjs.com/examples/choropleth/us-states.js</a>

Regards.

Andrea</pre>

    </blockquote>

    <br>

    That's true in this specific case in which the map is part of a

    tutorial. I was assuming the question was about the more general

    case.<br>

  </body>

</html>